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 2528-2528
(subclass PowerSource Device) Mid-level-ontology.kif 2530-2530 能量源设备subclass

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


(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 26263-26263 ACPowerSource能量源subclass
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 2540-2540 直流电源能量源subclass
(subclass SinglePhasePowerSource PowerSource) engineering.kif 871-871 单相电源能量源subclass
(subclass ThreePhasePowerSource PowerSource) engineering.kif 876-876 三相电源能量源subclass
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 47050-47050
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 47049-47049
(termFormat EnglishLanguage PowerSource "power source") domainEnglishFormat.kif 47048-47048

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


(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 26276-26276 voltageMeasure 的 1 数量 是 能量源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 25855-25868
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))
Mid-level-ontology.kif 2531-2536

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 880-899
(=>
    (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 25827-25835


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