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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PowerSource

 Sigma KEE - PowerSource
PowerSource

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


(documentation PowerSource EnglishLanguage "A source of electrical power.") Mid-level-ontology.kif 2556-2556
(subclass PowerSource Device) Mid-level-ontology.kif 2558-2558 PowerSource est une sous-classe de appareil

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


(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 26619-26619 ACPowerSource est une sous-classe de PowerSource
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 2568-2568 DCPowerSource est une sous-classe de PowerSource
(subclass SinglePhasePowerSource PowerSource) engineering.kif 1187-1187 SinglePhasePowerSource est une sous-classe de PowerSource
(subclass ThreePhasePowerSource PowerSource) engineering.kif 1192-1192 ThreePhasePowerSource est une sous-classe de PowerSource
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 47093-47093 ThreePhasePowerSource est une sous-classe de PowerSource
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 47092-47092 ThreePhasePowerSource est une sous-classe de PowerSource
(termFormat EnglishLanguage PowerSource "power source") domainEnglishFormat.kif 47091-47091 ThreePhasePowerSource est une sous-classe de PowerSource

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


(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 26632-26632 Le nombre 1 argument de voltageMeasure est une instance de PowerSource

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 26211-26224
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 2559-2564

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 1196-1215
(=>
    (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 26183-26191


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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