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 3022-3022
(subclass PowerSource Device) Mid-level-ontology.kif 3024-3024 subclass PowerSource and Device

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


(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 24423-24423 subclass ACPowerSource and PowerSource
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 3034-3034 subclass DCPowerSource and PowerSource
(subclass SinglePhasePowerSource PowerSource) engineering.kif 871-871 subclass SinglePhasePowerSource and PowerSource
(subclass ThreePhasePowerSource PowerSource) engineering.kif 876-876 subclass ThreePhasePowerSource and PowerSource
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 46958-46958
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 46957-46957
(termFormat EnglishLanguage PowerSource "power source") domainEnglishFormat.kif 46956-46956

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


(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 24436-24436 domain voltageMeasure, 1 and 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 23946-23959
(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 3025-3030

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 23918-23926


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners