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 15049-15051
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 15047-15047 蛋 是 动物解剖结构 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15048-15048 蛋 是 meat 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 15046-15046 蛋 是 繁殖体 的 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 24071-24071 鸟蛋 是 蛋 的 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 24115-24128
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