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 3948-3958
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 3945-3945 意图 的 1 数量 是 物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3946-3946 意图 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3944-3944 意图非对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3943-3943 意图二元谓语instance

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 27546-27546
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27545-27545
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27544-27544
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 29507-29519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29458-29463
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29431-29435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1844-1848
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1854-1858
No TPTP formula. May not be expressible in strict first order. Merge.kif 18246-18254
No TPTP formula. May not be expressible in strict first order. Merge.kif 18225-18235
No TPTP formula. May not be expressible in strict first order. Government.kif 2362-2369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17897-17902
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 802-809
No TPTP formula. May not be expressible in strict first order. Merge.kif 3973-3976

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


No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Economy.kif 4195-4204
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20601-20623
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1923-1939
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 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6338-6346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21757-21769
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3416-3426
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 1660-1668
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5489-5498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6056-6075
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 767-785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6122-6140
No TPTP formula. May not be expressible in strict first order. Government.kif 1513-1524
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 450-463
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 3309-3315 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載instanceiBookstore 是导致 ?D 的 instrument 和 ?T 是 文本instanceobjectTransferred ?D and ?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