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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wants
wants

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1934-1935
No TPTP formula. May not be expressible in strict first order. Merge.kif 2768-2770
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 562-564
No TPTP formula. May not be expressible in strict first order. Merge.kif 2765-2765 想要 的 1 数量 是 有认知的主事instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2766-2766 想要 的 2 数量 是 物理instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2762-2762 想要二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2761-2761 想要对象态度instance
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. Merge.kif 2763-2763 想要感兴趣subrelation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7423-7423 不喜欢想要disjoint 关系
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 199-199
No TPTP formula. May not be expressible in strict first order. english_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. french_format.kif 119-119
No TPTP formula. May not be expressible in strict first order. relations-it.txt 312-312
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1948-1948
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 71-71
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 97-97
No TPTP formula. May not be expressible in strict first order. relations-de.txt 255-255
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 347-347
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 124-124
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 504-504
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. chinese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62138-62138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62137-62137
No TPTP formula. May not be expressible in strict first order. terms-de.txt 81-81

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2777-2782
No TPTP formula. May not be expressible in strict first order. Merge.kif 2772-2775

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 374-387
No TPTP formula. May not be expressible in strict first order. emotion.kif 349-363
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. Law.kif 295-306
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29620-29632
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. MilitaryProcesses.kif 1419-1431
No TPTP formula. May not be expressible in strict first order. Merge.kif 12885-12890
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16933-16937
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4210-4220
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. Law.kif 318-328
No TPTP formula. May not be expressible in strict first order. Dining.kif 1012-1020
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5037-5045
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5010-5022
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4025-4038
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29474-29485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29606-29608
No TPTP formula. May not be expressible in strict first order. emotion.kif 1025-1036
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4783-4793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12995-13003
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24104-24110
No TPTP formula. May not be expressible in strict first order. Merge.kif 2757-2759
No TPTP formula. May not be expressible in strict first order. Law.kif 160-166
No TPTP formula. May not be expressible in strict first order. Law.kif 147-153

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