TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2563-2563
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2565-2565	Power source is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26355-26355	Ac power source is a subclass of power source
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2575-2575	DC power source is a subclass of power source
No TPTP formula. May not be expressible in strict first order.	engineering.kif 873-873	Single phase power source is a subclass of power source
No TPTP formula. May not be expressible in strict first order.	engineering.kif 878-878	Three phase power source is a subclass of power source
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47060-47060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47059-47059
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47058-47058

appearance as argument number 3

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

Mid-level-ontology.kif 26368-26368

The number 1 argument of voltage measure is an instance of power source

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 2566-2571	If an object is an instance of power source, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the object

consequent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 882-901	If a physical is an instance of transfer switch, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25919-25927	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity