TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4123-4124
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4122-4122	Bed linen is a subclass of artifact

appearance as argument number 2

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

Mid-level-ontology.kif 4125-4125

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4131-4139	If a physical is an instance of bed linen, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of covering and the other entity is a patient of the entity and the other entity is an instance of bed and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4127-4129	If a corpuscular object is an instance of bed linen, then the corpuscular object is made of fabric

consequent

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

Hotel.kif 1953-1962