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 26426-26428 | |
(subclass TelephoneHandset Device) | Mid-level-ontology.kif 26425-26425 | Telephone handset is a subclass of device |
appearance as argument number 2 |
(termFormat EnglishLanguage TelephoneHandset "telephone handset") | Mid-level-ontology.kif 26429-26429 |
antecedent |
(=> (instance ?X TelephoneHandset) (exists (?EARPHONE ?MIC) (and (instance ?EARPHONE Earphone) (instance ?MIC Microphone) (part ?EARPHONE ?X) (part ?MIC ?X)))) |
Mid-level-ontology.kif 26431-26438 |
|
consequent |