TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 60-61
No TPTP formula. May not be expressible in strict first order.	Communications.kif 59-59	Telephone cradle is a subclass of device

appearance as argument number 2

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

Communications.kif 62-62

antecedent

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

Communications.kif 64-71

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 78-87	If an object is an instance of corded telephone, then there exist an engineering component, another engineering component and an engineering connection such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
No TPTP formula. May not be expressible in strict first order.	Communications.kif 95-107	If an object is an instance of cordless telephone, then there exist an engineering component and another engineering component such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and there doesn't exist an engineering connection such that the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component