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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15073-15075
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 15071-15071 Egg e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Merge.kif 15072-15072 Egg e' uma sub-classe de Carne
No TPTP formula. May not be expressible in strict first order. Merge.kif 15070-15070 Egg e' uma sub-classe de Corpo Reprodutor

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


No TPTP formula. May not be expressible in strict first order. Food.kif 2547-2547 initialPart EggYolk and Egg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24129-24129 BirdEgg e' uma sub-classe de Egg
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 24173-24186
No TPTP formula. May not be expressible in strict first order. Food.kif 2708-2710


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