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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PowerSource
PowerSource(power source)electric_main

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


(documentation PowerSource EnglishLanguage "A source of electrical power.") Mid-level-ontology.kif 3032-3032
(subclass PowerSource Device) Mid-level-ontology.kif 3034-3034 Power source is a subclass of device

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


(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 28000-28000 Ac power source is a subclass of power source
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 3044-3044 DC power source is a subclass of power source
(subclass SinglePhasePowerSource PowerSource) engineering.kif 1186-1186 Single phase power source is a subclass of power source
(subclass ThreePhasePowerSource PowerSource) engineering.kif 1191-1191 Three phase power source is a subclass of power source
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 47091-47091 Three phase power source is a subclass of power source
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 47090-47090 Three phase power source is a subclass of power source
(termFormat EnglishLanguage PowerSource "power source") domainEnglishFormat.kif 47089-47089 Three phase power source is a subclass of power source

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


(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 28013-28013 The number 1 argument of voltage measure is an instance of power source

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 27592-27605
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))
Mid-level-ontology.kif 3035-3040

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 27564-27572


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