| TelephoneHandset | |
| appearance as argument number 1 |
|
|
| (documentation TelephoneHandset EnglishLanguage "TelephoneHandset is the part of the Telephone that has a Earphone and a Microphone for the transmission and reception of sound") | Mid-level-ontology.kif 24494-24496 | |
| (subclass TelephoneHandset Device) | Mid-level-ontology.kif 24493-24493 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TelephoneHandset "telephone handset") | Mid-level-ontology.kif 24497-24497 |
| antecedent |
|
|
| (=> (instance ?X TelephoneHandset) (exists (?EARPHONE ?MIC) (and (instance ?EARPHONE Earphone) (instance ?MIC Microphone) (part ?EARPHONE ?X) (part ?MIC ?X)))) |
Mid-level-ontology.kif 24499-24506 |
| 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 | |
| (=> (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 |
|
|
|