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 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 Egg e' uma sub-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order. Merge.kif 15048-15048 Egg e' uma sub-classe de Carne
No TPTP formula. May not be expressible in strict first order. Merge.kif 15046-15046 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 24071-24071 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 24115-24128
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