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 20161-20162
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 20160-20160	Mule is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20159-20159	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 39123-39123
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39122-39122
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39121-39121

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20164-20171	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 20173-20176	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