TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6564-6565
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6563-6563	Drooling is a subclass of impelling

appearance as argument number 2

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

domainEnglishFormat.kif 64791-64791

antecedent

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

Mid-level-ontology.kif 6567-6577

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5326-5340	If hypersalivation is an attribute of an entity holds during a time position, then the statement there exists another entity such that the entity experiences the other entity and the time of existence of the other entity takes place during the time position and the other entity is an instance of spitting or the other entity is an instance of drooling or the other entity is an instance of nausea has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6583-6585	If an object is an instance of animal, then the object is capable of doing drooling as a experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6579-6581	If an object is an instance of saliva, then the object is capable of doing drooling as a patient