TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2070-2071
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2069-2069	Feces is a subclass of excrement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2072-2072

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2074-2076	If an object is an instance of feces, then solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2078-2085	If an entity is an instance of feces, then there exist a process and an object such that the process is an instance of physiologic process and the object is an instrument for the process and the object is an instance of intestine and the entity is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 2139-2144

If a transfer is an instance of defecation,
then there exists an object such that the object is an instance of feces and the object transferred in the transfer is the object