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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalSignalling
ElectricalSignalling

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


(documentation ElectricalSignalling EnglishLanguage "ElectricalSignalling is the subclass of Signalling processes that involve control of an electrical current. Cf. ElectronicSignalling.") Mid-level-ontology.kif 3099-3101
(subclass ElectricalSignalling Signalling) Mid-level-ontology.kif 3098-3098 ElectricalSignalling は Signalling の subclass では

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


(subclass ElectronicSignalling ElectricalSignalling) Mid-level-ontology.kif 3110-3110 ElectronicSignalling は ElectricalSignalling の subclass では
(termFormat ChineseLanguage ElectricalSignalling "电信号") domainEnglishFormat.kif 21561-21561 ElectronicSignalling は ElectricalSignalling の subclass では
(termFormat ChineseTraditionalLanguage ElectricalSignalling "電信號") domainEnglishFormat.kif 21560-21560 ElectronicSignalling は ElectricalSignalling の subclass では
(termFormat EnglishLanguage ElectricalSignalling "electrical signalling") domainEnglishFormat.kif 21559-21559 ElectronicSignalling は ElectricalSignalling の subclass では

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


(=>
    (instance ?S ElectricalSignalling)
    (exists (?D)
        (and
            (instance ?D ElectricDevice)
            (instrument ?S ?D))))		 Mid-level-ontology.kif 3103-3108

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


(=>
    (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


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