Mule - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mule

Mule(mule)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20188-20189
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 610-610
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20187-20187	Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20186-20186	Mule is a subclass of hoofed mammal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39125-39125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39124-39124
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39123-39123

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20191-20198	If an organism is an instance of mule, then there exist another organism and a third organism such that the other organism is a father of the organism and the other organism is an instance of donkey and the third organism is a mother of the organism and the third organism is an instance of horse
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20200-20203	If an object is an instance of mule, then the object is not capable of doing sexual reproduction as a agent

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