symbolic logic

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

rdfs:label

xsd:string symbolic logic

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

xsd:string 06164665-n

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

formal logic

mathematical logic

symbolic logic

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

104681560

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

105794114

<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>

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

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

xsd:string 106164665

<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-formal_logic-noun-1>

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

<https://w3id.org/framester/wn/wn30/instances/wordsense-symbolic_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-logic-noun-5>

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

<https://w3id.org/framester/wn/wn30/instances/synset-logic-noun-5>

<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