CordlessTelephone
|
|
appearance as argument number 1 |
(documentation CordlessTelephone EnglishLanguage "CordlessTelephone is a type of FixedPhone whose TelephoneHandset is not connected to its TelephoneCradle by a WireLine") | Communications.kif 90-92 | |
(subclass CordlessTelephone FixedPhone) | Communications.kif 89-89 | CordlessTelephone 是 FixedPhone 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage CordlessTelephone "cordless telephone") | Communications.kif 93-93 |
antecedent |
(=> (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 |
|