TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3070-3072
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3068-3068	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 3069-3069

appearance as argument number 3

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

Cars.kif 3119-3119

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 3102-3116	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 3078-3084	If an object is an instance of wire coil, then there exist another object and an attribute such that the other object is a part of the object and the attribute is an attribute of the other object and the attribute is an instance of closed two dimensional figure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3074-3076	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 3093-3100