TreeView Knowledge Base Browser

appearance as argument number 1

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

Mid-level-ontology.kif 25648-25648

appearance as argument number 2

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

domainEnglishFormat.kif 65723-65723

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26817-26825	If a self connected object is an instance of heated pool and the self connected object contains an object and the object is an instance of freshwater and the self connected object is a part of another object and the other object is an instance of water heater and device on is an attribute of the other object, then warm is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	If a physical is an instance of water heater, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of heating and the other entity is an instance of freshwater and the other entity is a patient of the entity and the physical is an instrument for the entity