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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Egg

 Sigma KEE - Egg
Egg(蛋)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3501-3502
No TPTP formula. May not be expressible in strict first order. Merge.kif 15027-15029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 406-406
No TPTP formula. May not be expressible in strict first order. Merge.kif 15025-15025 蛋 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15026-15026 蛋 是 meat 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15024-15024 蛋 是 繁殖体 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2547-2547 %每个 EggYolk 是 蛋 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24072-24072 鸟蛋 是 蛋 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21324-21324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21323-21323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21322-21322

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2548-2562

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24116-24129
No TPTP formula. May not be expressible in strict first order. Food.kif 2708-2710


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