Photocopier - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27951-27953
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27950-27950	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 65331-65331

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27957-27973	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 27975-27981	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 2149-2157