|
|
   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 è una sottoclasse di FixedPhone |
| 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 |
|
|
|
|