TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25930-25932
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25929-25929	Electrical plug is a subclass of plug

appearance as argument number 2

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

Mid-level-ontology.kif 25933-25933

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25947-25960	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third engineering component and the process ends up at the other engineering component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25939-25945	If a physical is an instance of electrical plug, then the physical has the purpose there exists an entity such that the entity is an instance of electrical outlet and the physical completely fills the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25935-25937	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal

consequent

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

Mid-level-ontology.kif 25977-25986