TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3064-3066
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3062-3062	Wire coil is a subclass of wire

appearance as argument number 2

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

Cars.kif 3063-3063

appearance as argument number 3

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

Cars.kif 3112-3112

The number 1 argument of coil count is an instance of wire coil

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3095-3109	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3072-3077	If an object is an instance of wire coil, then there exists another object such that the other object is a part of the object and closed two dimensional figure is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3068-3070	If a corpuscular object is an instance of wire coil, then the corpuscular object is made of conductor substance

consequent

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

Cars.kif 3086-3093