Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 3162-3162
(subclass PowerSource Device) Mid-level-ontology.kif 3164-3164 Power source is a subclass of device

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


(termFormat EnglishLanguage PowerSource "power source") Mid-level-ontology.kif 3163-3163
(subclass DCPowerSource PowerSource) Mid-level-ontology.kif 3174-3174 DC power source is a subclass of power source
(subclass ACPowerSource PowerSource) Mid-level-ontology.kif 28912-28912 Ac power source is a subclass of power source
(subclass UninterruptiblePowerSupplyUnit PowerSource) HouseholdAppliances.kif 580-580 Uninterruptible power supply unit is a subclass of power source
(termFormat ChineseTraditionalLanguage PowerSource "能量源") domainEnglishFormat.kif 47054-47054 Uninterruptible power supply unit is a subclass of power source
(termFormat ChineseLanguage PowerSource "能量源") domainEnglishFormat.kif 47055-47055 Uninterruptible power supply unit is a subclass of power source
(subclass SinglePhasePowerSource PowerSource) engineering.kif 1280-1280 Single phase power source is a subclass of power source
(subclass ThreePhasePowerSource PowerSource) engineering.kif 1285-1285 Three phase power source is a subclass of power source

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


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

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


(=>
    (instance ?PS PowerSource)
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?PS))))		 Mid-level-ontology.kif 3165-3170 If X is an instance of power source, then there exists Y such that Y is an instance of radiating electromagnetic and Y originates at X
(=>
    (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 28519-28532 If All of the following hold: (1) X is an instance of electrical plug (2) Y is an instance of electric device (3) Z is an instance of electrical outlet (4) Y is connected to X (5) X completely fills Z (6) W is an instance of power source (7) W is connected to Z, then there exists V such that V is an instance of radiating electromagnetic, V originates at W, and V ends up at Y

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


(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE CollectionOfObjects)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))		 Mid-level-ontology.kif 28491-28499 If X is an instance of electrical outlet, then X has the purpose there exist Y, Z such that Y is an instance of power source, Z is an instance of collection, wire line is a member type of Z, Z connects X, and Y
(=>
    (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 1289-1308 If X is an instance of transfer switch, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of process (3) Z is an instance of power source (4) W is an instance of power source (5) V is an instance of electricity (6) X is an instrument for Y (7) V originates at Z holds during the beginning of the time of existence of Y (8) V originates at Z holds during the end of the time of existence of Y (9) equal Z (10) W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners