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. chinese_format.kif 2091-2096
No TPTP formula. May not be expressible in strict first order. Merge.kif 3950-3960
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 739-746
No TPTP formula. May not be expressible in strict first order. Merge.kif 3947-3947 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 3948-3948 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 3946-3946 has purpose is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3945-3945 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 115-115
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. japanese_format.kif 1906-1906
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. 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-ro.kif 98-98
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 78-78
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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27557-27557
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27556-27556
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27555-27555
No TPTP formula. May not be expressible in strict first order. terms-de.txt 39-39
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 255-255

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31428-31440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31379-31384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31352-31356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2307-2311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2317-2321
No TPTP formula. May not be expressible in strict first order. Merge.kif 18418-18426
No TPTP formula. May not be expressible in strict first order. Merge.kif 18397-18407
No TPTP formula. May not be expressible in strict first order. Government.kif 2323-2330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19468-19473
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 911-918
No TPTP formula. May not be expressible in strict first order. Merge.kif 3975-3978

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


No TPTP formula. May not be expressible in strict first order. Music.kif 410-421
No TPTP formula. May not be expressible in strict first order. Economy.kif 4532-4541
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22218-22240
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1358-1369
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1962-1978
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1990-1999
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1776-1787
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1789-1801
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6355-6363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23399-23411
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3859-3869
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 1667-1675
No TPTP formula. May not be expressible in strict first order. Cars.kif 1748-1768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6426-6435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6993-7012
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. Medicine.kif 758-776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7059-7077
No TPTP formula. May not be expressible in strict first order. Government.kif 1475-1486
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1478-1488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 443-456
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 420-431
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 618-630

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 3305-3311 IBookstore has the 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 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 3.0 is open source software produced by Articulate Software and its partners