TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2095-2096
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2094-2094	Urine 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 2097-2097

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2099-2101	If an object is an instance of urine, then liquid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2103-2110	If an entity is an instance of urine, 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 kidney 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 2134-2139

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