TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26293-26295
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26292-26292	Photocopier is a subclass of electric device

appearance as argument number 2

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

domainEnglishFormat.kif 65308-65308

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26299-26315	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26317-26323	If a physical is an instance of photocopier, then the physical has the purpose there exists an entity such that the entity is an instance of photocopying and the physical is an instrument for the entity

consequent

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

Hotel.kif 2138-2146