propositional logic

https://w3id.org/framester/wn/wn30/instances/synset-propositional_logic-noun-1 <https://w3id.org/framester/wn/wn30/schema/NounSynset>

rdfs:label

xsd:string propositional logic

<https://w3id.org/framester/wn/wn30/schema/ukbsynsetId>

xsd:string 06165147-n

<https://w3id.org/framester/wn/wn30/schema/senseLabel>

propositional calculus

propositional logic

<https://w3id.org/framester/wn/wn30/schema/mapsToWN16synsetId>

104682042

<https://w3id.org/framester/wn/wn30/schema/mapsToWN20synsetId>

105794596

<https://w3id.org/framester/sentiwordnet/negScore>

xsd:string 0

<https://w3id.org/framester/sentiwordnet/posScore>

xsd:string 0

<https://w3id.org/framester/wn/wn30/schema/gloss>

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

<https://w3id.org/framester/wn/wn30/schema/synsetId>

xsd:string 106165147

<https://w3id.org/framester/wn/wn30/schema/NounSynset>

<http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#dul>

<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#Quality>

<https://w3id.org/framester/wn/wn30/wndomains/synsetDomain>

<https://w3id.org/framester/wn/wn30/wndomains/wn-domain-mathematics>

<https://w3id.org/framester/wn/wn30/schema/containsWordSense>

<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_calculus-noun-1>

<https://w3id.org/framester/wn/wn30/instances/wordsense-propositional_logic-noun-1>

<http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#d0>

<http://www.ontologydesignpatterns.org/ont/d0.owl#Characteristic>

<http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#hyp>

<https://w3id.org/framester/wn/wn30/instances/synset-ability-noun-2>

<http://www.ontologydesignpatterns.org/ont/own3/own2dul.owl#proxhyp>

<https://w3id.org/framester/wn/wn30/instances/synset-symbolic_logic-noun-1>

<https://w3id.org/framester/wn/wn30/schema/hyponymOf>

<https://w3id.org/framester/wn/wn30/instances/synset-symbolic_logic-noun-1>

<https://w3id.org/framester/wn/wn30/schema/lexname>

<https://w3id.org/framester/wn/wn30/instances/supersense-noun_cognition>

<http://www.ontologydesignpatterns.org/ont/values/valuecore_with_value_frames.owl#triggers>

<http://www.ontologydesignpatterns.org/ont/values/FolkValues.owl#Capable>

<http://www.ontologydesignpatterns.org/ont/values/FolkValues.owl#Experience>

risorse dalla linked data cloud