Earphone
|
|
appearance as argument number 1 |
(disjoint Earphone Loudspeaker) | ComputerInput.kif 508-508 | 不相交的 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 26082-26083 | |
(documentation Earphone EnglishLanguage "A WearableItem worn on the head with an ElectricSpeaker device located near one or both ears.") | ComputerInput.kif 505-506 | |
(subclass Earphone Device) | Mid-level-ontology.kif 26081-26081 | 子類 Earphone and Device |
(subclass Earphone ElectricSpeakerDevice) | ComputerInput.kif 502-502 | 子類 Earphone and ElectricSpeakerDevice |
(subclass Earphone WearableItem) | ComputerInput.kif 503-503 | 子類 Earphone and 可穿戴物品 |
appearance as argument number 2 |
(termFormat EnglishLanguage Earphone "earphone") | Mid-level-ontology.kif 26084-26084 |
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 26476-26483 |