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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Earphone
Earphone

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


(disjoint Earphone Loudspeaker) ComputerInput.kif 508-508 Earphone と Loudspeaker は disjoint では
(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 27947-27948 Earphone と Loudspeaker は disjoint では
(documentation Earphone EnglishLanguage "A WearableItem worn on the head with an ElectricSpeaker device located near one or both ears.") ComputerInput.kif 505-506 Earphone と Loudspeaker は disjoint では
(subclass Earphone Device) Mid-level-ontology.kif 27946-27946 Earphone は デバイス の subclass では
(subclass Earphone ElectricSpeakerDevice) ComputerInput.kif 502-502 Earphone は ElectricSpeakerDevice の subclass では
(subclass Earphone WearableItem) ComputerInput.kif 503-503 Earphone は WearableItem の subclass では

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


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

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


(=>
    (and
        (instance ?EARPHONE Earphone)
        (wears ?PERSON ?EARPHONE)
        (instance ?HEAD Head)
        (part ?HEAD ?PERSON))
    (located ?EARPHONE ?HEAD))		 ComputerInput.kif 510-516
(=>
    (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 27951-27972

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


(=>
    (instance ?X TelephoneHandset)
    (exists (?EARPHONE ?MIC)
        (and
            (instance ?EARPHONE Earphone)
            (instance ?MIC Microphone)
            (part ?EARPHONE ?X)
            (part ?MIC ?X))))		 Mid-level-ontology.kif 28342-28349


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