predicate calculus

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

rdfs:label

xsd:string predicate calculus

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

xsd:string 06165364-n

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

functional calculus

predicate calculus

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

105794813

<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 system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

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

xsd:string 106165364

rdf:type

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

<https://w3id.org/framester/wn/wn30/instances/wordsense-predicate_calculus-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