Earphone | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Earphone Loudspeaker) | ComputerInput.kif 534-534 | disjoint Earphone and Loudspeaker |
(documentation Earphone EnglishLanguage "Earphone is a type of Device that that converts electric signals into sound and is usually held over or inserted in the ear") | Mid-level-ontology.kif 24079-24080 | |
(documentation Earphone EnglishLanguage "A WearableItem worn on the head with an ElectricSpeaker device located near one or both ears.") | ComputerInput.kif 531-532 | |
(subclass Earphone Device) | Mid-level-ontology.kif 24078-24078 | subclass Earphone and Device |
(subclass Earphone ElectricSpeakerDevice) | ComputerInput.kif 528-528 | subclass Earphone and ElectricSpeakerDevice |
(subclass Earphone WearableItem) | ComputerInput.kif 529-529 | subclass Earphone and WearableItem |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Earphone "earphone") | Mid-level-ontology.kif 24081-24081 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?X TelephoneHandset) (exists (?EARPHONE ?MIC) (and (instance ?EARPHONE Earphone) (instance ?MIC Microphone) (part ?EARPHONE ?X) (part ?MIC ?X)))) |
Mid-level-ontology.kif 24542-24549 |
![]() |
![]() |