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


KB Term:  Term intersection
English Word: 

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

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


(subclass Earphone Device) Mid-level-ontology.kif 28714-28714 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 28715-28716 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
(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 a subclass of wearable item
(disjoint Earphone Loudspeaker) ComputerInput.kif 508-508 Earphone is disjoint from loudspeaker
(defaultMinimumMeasure Earphone
    (MeasureFn 2 OunceMass))		 DimensioningAmenities.kif 790-790 The minimum expected value of earphone is 2 Ounce(s)
(defaultMaximumMeasure Earphone
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 791-791 The maximum expected value of earphone is 3 pound mass(s)

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


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

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 28719-28740 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 510-516 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 29110-29117 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 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