TelephoneCradle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TelephoneCradle Device)	Communications.kif 59-59	Telephone cradle is a subclass of device
(documentation TelephoneCradle EnglishLanguage "TelephoneCradle is the part of the Telephone that is connected to the TelephoneSystem through some wire.")	Communications.kif 60-61	Telephone cradle is a subclass of device

appearance as argument number 2

antecedent

(=>
    (instance ?X TelephoneCradle)
    (hasPurpose ?X
        (exists (?SYS ?WIRE)
            (and
                (instance ?SYS TelephoneSystem)
                (instance ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?SYS)))))

If X is an instance of telephone cradle, then X has the purpose there exist Y, Z such that Y is an instance of telephone system, Z is an instance of wire line, Z connects X, and Y

consequent

(=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))	Communications.kif 78-87	If X is an instance of corded telephone, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) W is an instance of wire line (7) W connects Y (8) Z
(=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))	Communications.kif 95-107	If X is an instance of cordless telephone, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone handset (3) Z is an instance of telephone cradle (4) Y is a part of X (5) Z is a part of X (6) there doesn't exist W such that W is an instance of wire line (7) W connects Y (8) Z