<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1> <https://w3id.org/framester/wn/wn30/schema/word> <https://w3id.org/framester/wn/wn30/instances/word-propositional_calculus> .
<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1> <https://w3id.org/framester/wn/wn30/schema/tagCount> "0"@en-us .
<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1> <https://w3id.org/framester/wn/wn30/schema/senseKey> "propositional_calculus%1:09:00::"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1> <http://www.w3.org/2000/01/rdf-schema#label> "propositional calculus"@en-us .
<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/wn/wn30/schema/NounWordSense> .