Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasPurpose
hasPurpose

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4062-4067
No TPTP formula. May not be expressible in strict first order. Merge.kif 4051-4061
No TPTP formula. May not be expressible in strict first order. Merge.kif 4049-4049 The number 1 argument of has purpose is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4050-4050 The number 2 argument of has purpose is an instance of formula
No TPTP formula. May not be expressible in strict first order. Merge.kif 4048-4048 has purpose is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4047-4047 has purpose is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 115-115
No TPTP formula. May not be expressible in strict first order. english_format.kif 84-84
No TPTP formula. May not be expressible in strict first order. french_format.kif 79-79
No TPTP formula. May not be expressible in strict first order. relations-it.txt 124-124
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 31-31
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 29-29
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order. relations-de.txt 133-133
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 164-164
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 254-254
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 116-116 "意图" is the printable form of has purpose in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5012-5012 "has purpose" is the printable form of has purpose in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 479-479 "«عِنْدَه غَايَة»" is the printable form of has purpose in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 255-255 "may layon" is the printable form of has purpose in tg

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27236-27248
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27165-27170
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27138-27142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2273-2277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2283-2287
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15297-15302
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 792-796
No TPTP formula. May not be expressible in strict first order. Merge.kif 4085-4088

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 57-75
No TPTP formula. May not be expressible in strict first order. Music.kif 427-438
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17900-17921
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1294-1305
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19123-19135
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2002-2011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3949-3959
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Cars.kif 1696-1704
No TPTP formula. May not be expressible in strict first order. Cars.kif 1777-1797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5726-5735
No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. Government.kif 1473-1484
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2143-2152
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2161-2171
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2000-2010
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1446-1456
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 610-623
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 405-416
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 607-619
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1844-1856
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners