TelephoneCradle
|
|
appearance as argument number 1 |
(documentation TelephoneCradle EnglishLanguage "TelephoneCradle is the part of the Telephone that is connected to the TelephoneSystem through some wire.") | Communications.kif 60-61 | |
(subclass TelephoneCradle Device) | Communications.kif 59-59 | TelephoneCradle 是 设备 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage TelephoneCradle "telephone cradle") | Communications.kif 62-62 |
antecedent |
(=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS))))) |
Communications.kif 64-71 |
consequent |