TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25178-25178
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25175-25175	Iron is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25176-25176	Iron is a subclass of heating device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25177-25177	Iron is a subclass of house utility appliance

appearance as argument number 2

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

Mid-level-ontology.kif 25173-25173

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25180-25186	If a physical is an instance of iron, then the physical has the purpose there exists the physicalRON such that the physicalRON is an instance of ironing and the physical is an instrument for the physicalRON
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25188-25194	If a self connected object is an instance of iron, then there exists a corpuscular object such that the bottom of the self connected object is the corpuscular object and the corpuscular object is made of metal and flat is an attribute of the corpuscular object

consequent

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

Mid-level-ontology.kif 25263-25274