Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Earphone

 Sigma KEE - Earphone
Earphone(earphone)earphone, earpiece, headphone, phone

appearance as argument number 1
-------------------------


(subclass Earphone Device) Mid-level-ontology.kif 28618-28618 Earphone is a subclass of device
(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 28619-28620 Earphone is a subclass of device
(subclass Earphone ElectricSpeakerDevice) ComputerInput.kif 518-518 Earphone is a subclass of electric speaker device
(subclass Earphone WearableItem) ComputerInput.kif 519-519 Earphone is a subclass of wearable item
(documentation Earphone EnglishLanguage "A WearableItem worn on the head with an ElectricSpeaker device located near one or both ears.") ComputerInput.kif 521-522 Earphone is a subclass of wearable item
(disjoint Earphone Loudspeaker) ComputerInput.kif 524-524 Earphone is disjoint from loudspeaker
(defaultMinimumMeasure Earphone
    (MeasureFn 2 OunceMass))		 DimensioningAmenities.kif 792-792 The minimum expected value of earphone is 2 Ounce(s)
(defaultMaximumMeasure Earphone
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 793-793 The maximum expected value of earphone is 3 pound mass(s)

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Earphone "earphone") Mid-level-ontology.kif 28621-28621

antecedent
-------------------------


(=>
    (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 28623-28644 If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V
(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))		 ComputerInput.kif 526-532 If X is an instance of earphone, Y wears X, Z is an instance of head, and Z is a part of Y, then X is located at Z

consequent
-------------------------


(=>
    (instance ?X TelephoneHandset)
    (exists (?EARPHONE ?MIC)
        (and
            (instance ?EARPHONE Earphone)
            (instance ?MIC Microphone)
            (part ?EARPHONE ?X)
            (part ?MIC ?X))))		 Mid-level-ontology.kif 29041-29048 If X is an instance of telephone handset, then there exist Y, Z such that Y is an instance of earphone, Z is an instance of microphone, Y is a part of X, and Z is a part of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners