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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasPurpose

Sigma KEE - hasPurpose
hasPurpose

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4089-4094
No TPTP formula. May not be expressible in strict first order. Merge.kif 4078-4088
No TPTP formula. May not be expressible in strict first order. Merge.kif 4076-4076 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 4077-4077 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 4075-4075 has purpose is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4074-4074 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. 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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27677-27689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27606-27611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27579-27583
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 15598-15603
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 790-794
No TPTP formula. May not be expressible in strict first order. Merge.kif 4112-4115

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 411-422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18259-18280
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. ComputingBrands.kif 1885-1894
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 19542-19554
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 3953-3963
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 1655-1663
No TPTP formula. May not be expressible in strict first order. Cars.kif 1736-1756
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5730-5739
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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3128-3134 IBookstore has purpose there exists ?D such that ?D is an instance of Downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T


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

Show without tree


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