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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Eating

Sigma KEE - Eating
Eating(进食)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2909-2909
No TPTP formula. May not be expressible in strict first order. Merge.kif 10298-10299
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1658-1658
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2806-2806
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2668-2668
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2805-2805
No TPTP formula. May not be expressible in strict first order. Merge.kif 10296-10296 进食消化subclass

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 325-325 Aqiqah进食subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 89-89 开斋进食subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 2767-2767 过度放牧进食subclass
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 35-35 封斋饭进食subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1080-1080
No TPTP formula. May not be expressible in strict first order. english_format.kif 1371-1371
No TPTP formula. May not be expressible in strict first order. french_format.kif 758-758
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 290-290
No TPTP formula. May not be expressible in strict first order. terms-it.txt 293-293
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2442-2442
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 710-710
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 295-295
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 329-329
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 779-779
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 294-294

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30686-30707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20093-20099
No TPTP formula. May not be expressible in strict first order. Merge.kif 10301-10305
No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14655
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Dining.kif 274-291
No TPTP formula. May not be expressible in strict first order. Food.kif 1706-1716
No TPTP formula. May not be expressible in strict first order. Food.kif 1793-1803
No TPTP formula. May not be expressible in strict first order. Food.kif 1776-1786

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21560-21567
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1558-1578
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19818-19824
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20079-20087
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. Mid-level-ontology.kif 30673-30680
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11593-11598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15598-15604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4428-4437
No TPTP formula. May not be expressible in strict first order. Food.kif 1688-1694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22612-22626


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