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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PowerSource
PowerSource

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


(documentation PowerSource EnglishLanguage "A source of electrical power.") Mid-level-ontology.kif 3026-3026
(subclass PowerSource Device) Mid-level-ontology.kif 3028-3028 PowerSource は デバイス の subclass では

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


(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 28254-28254 ACPowerSource は PowerSource の subclass では
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 3038-3038 DCPowerSource は PowerSource の subclass では
(subclass SinglePhasePowerSource PowerSource) engineering.kif 1186-1186 SinglePhasePowerSource は PowerSource の subclass では
(subclass ThreePhasePowerSource PowerSource) engineering.kif 1191-1191 ThreePhasePowerSource は PowerSource の subclass では
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 47062-47062 ThreePhasePowerSource は PowerSource の subclass では
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 47061-47061 ThreePhasePowerSource は PowerSource の subclass では
(termFormat EnglishLanguage PowerSource "power source") domainEnglishFormat.kif 47060-47060 ThreePhasePowerSource は PowerSource の subclass では

appearance as argument number 3
-------------------------


(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 28267-28267 voltageMeasure の数値 1 引数は PowerSource の instance では

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


(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))		 Mid-level-ontology.kif 27845-27858
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 3029-3034

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


(=>
    (instance ?TRANS TransferSwitch)
    (hasPurpose ?TRANS
        (exists (?PROC ?POWER1 ?POWER2 ?E)
            (and
                (instance ?PROC Process)
                (instance ?POWER1 PowerSource)
                (instance ?POWER2 PowerSource)
                (instance ?E Electricity)
                (instrument ?PROC ?TRANS)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                (holdsDuring
                    (EndFn
                        (WhenFn ?PROC))
                    (origin ?E ?POWER1))
                (not
                    (equal ?POWER1 ?POWER2))))))		 engineering.kif 1195-1214
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE Collection)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))		 Mid-level-ontology.kif 27817-27825


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