CordedTelephone
|
|
appearance as argument number 1 |
(documentation CordedTelephone EnglishLanguage "CordedTelephone is a type of FixedPhone whose TelephoneHandset is connected to its TelephoneCradle by a WireLine") | Communications.kif 74-75 | |
(subclass CordedTelephone FixedPhone) | Communications.kif 73-73 | CordedTelephone 是 FixedPhone 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage CordedTelephone "corded telephone") | Communications.kif 76-76 |
antecedent |
(=> (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 |
|