Earphone - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Earphone Loudspeaker)	ComputerInput.kif 508-508	Earphone is disjoint from 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 27937-27938	Earphone is disjoint from loudspeaker
(documentation Earphone EnglishLanguage "A WearableItem worn on the head with an ElectricSpeaker device located near one or both ears.")	ComputerInput.kif 505-506	Earphone is disjoint from loudspeaker
(subclass Earphone Device)	Mid-level-ontology.kif 27936-27936	Earphone is a subclass of device
(subclass Earphone ElectricSpeakerDevice)	ComputerInput.kif 502-502	Earphone is a subclass of electric speaker device
(subclass Earphone WearableItem)	ComputerInput.kif 503-503	Earphone is a subclass of wearable item

appearance as argument number 2

(termFormat EnglishLanguage Earphone "earphone")

Mid-level-ontology.kif 27939-27939

antecedent

(=> (and (instance ?EARPHONE Earphone) (wears ?PERSON ?EARPHONE) (instance ?HEAD Head) (part ?HEAD ?PERSON)) (located ?EARPHONE ?HEAD))	ComputerInput.kif 510-516	If a wearable item is an instance of earphone and an animal wears the wearable item and an object is an instance of head and the object is a part of the animal, then the wearable item is located at the object
(=> (instance ?X Earphone) (hasPurpose ?X (exists (?ES ?RS ?SIGNAL ?EAR ?PROC) (and (instance ?ES ElectricalSignalling) (patient ?ES ?SIGNAL) (destination ?ES ?X) (instance ?PROC Process) (instrument ?PROC ?X) (patient ?PROC ?SIGNAL) (result ?PROC ?RS) (instance ?RS RadiatingSound) (origin ?RS ?X) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?RS))) (instance ?EAR Ear) (orientation ?X ?EAR Adjacent)))))	Mid-level-ontology.kif 27941-27962	If a physical is an instance of earphone, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of electrical signalling and the third entity is a patient of the entity and the entity ends up at the physical and the fifth entity is an instance of process and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity and the other entity is a result of the fifth entity and the other entity is an instance of radiating sound and the other entity originates at the physical and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the fifth entity and the beginning of the time of existence of the fifth entity happens before the beginning of the time of existence of the other entity and the fourth entity is an instance of ear and the physical is adjacent to the fourth entity

consequent

(=>
    (instance ?X TelephoneHandset)
    (exists (?EARPHONE ?MIC)
        (and
            (instance ?EARPHONE Earphone)
            (instance ?MIC Microphone)
            (part ?EARPHONE ?X)
            (part ?MIC ?X))))

Mid-level-ontology.kif 28332-28339

If an object is an instance of telephone handset,
then there exist another object and a third object such that the other object is an instance of earphone and the third object is an instance of microphone and the other object is a part of the object and the third object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: