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

Formal Language: 



KB Term:  Term intersection
English Word: 

  desires

Sigma KEE - desires
desires

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1936-1938
No TPTP formula. May not be expressible in strict first order. Merge.kif 2791-2795
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 565-568
No TPTP formula. May not be expressible in strict first order. Merge.kif 2788-2788 渴望 的 1 数量 是 有认知的主事instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2789-2789 渴望 的 2 数量 是 公式instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2785-2785 渴望二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2784-2784 渴望命题态度instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2787-2787 渴望想要 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 2786-2786 渴望感兴趣subrelation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7439-7439 不赞成渴望disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order. english_format.kif 91-91
No TPTP formula. May not be expressible in strict first order. french_format.kif 68-68
No TPTP formula. May not be expressible in strict first order. relations-it.txt 70-70
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1894-1894
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 20-20
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 104-104
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 98-98
No TPTP formula. May not be expressible in strict first order. relations-de.txt 101-101
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 111-111
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 87-87
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 67-67
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order. Merge.kif 2764-2764 想要渴望 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19260-19260
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19259-19259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19258-19258
No TPTP formula. May not be expressible in strict first order. terms-de.txt 28-28
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 157-157

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 336-350
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1876-1888

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


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. Government.kif 1850-1854
No TPTP formula. May not be expressible in strict first order. Law.kif 295-306
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 734-743
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1312-1324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21776-21795
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 944-952
No TPTP formula. May not be expressible in strict first order. Merge.kif 12212-12217
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12950-12957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4517-4532
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 16447-16459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5725-5736
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3476-3486
No TPTP formula. May not be expressible in strict first order. Merge.kif 10665-10675
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 313-325
No TPTP formula. May not be expressible in strict first order. Government.kif 2263-2269
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 872-880
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1184-1194
No TPTP formula. May not be expressible in strict first order. Merge.kif 13200-13206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13148-13158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 860-865
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 61-68

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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