PowerSource - Sigma Knowledge base Browser

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 2556-2556
(subclass PowerSource Device)	Mid-level-ontology.kif 2558-2558	PowerSource ist eine teilkategorie von Device

appearance as argument number 2

(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 26388-26388	ACPowerSource ist eine teilkategorie von PowerSource
(subclass DCPowerSource PowerSource)	Mid-level-ontology.kif 2568-2568	DCPowerSource ist eine teilkategorie von PowerSource
(subclass SinglePhasePowerSource PowerSource)	engineering.kif 873-873	SinglePhasePowerSource ist eine teilkategorie von PowerSource
(subclass ThreePhasePowerSource PowerSource)	engineering.kif 878-878	ThreePhasePowerSource ist eine teilkategorie von PowerSource
(termFormat ChineseLanguage PowerSource "能量源")	domainEnglishFormat.kif 47062-47062
(termFormat ChineseTraditionalLanguage PowerSource "能量源")	domainEnglishFormat.kif 47061-47061
(termFormat EnglishLanguage PowerSource "power source")	domainEnglishFormat.kif 47060-47060

appearance as argument number 3

(domain voltageMeasure 1 PowerSource)

Mid-level-ontology.kif 26401-26401

Die Zahl 1 Argument von voltageMeasure ist ein fall von PowerSource %n{nicht}

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 25980-25993	Wenn EngineeringComponent ist ein fall von ElectricalPlug %n{nicht} und EngineeringComponent ist ein fall von ElectricDevice %n{nicht} und HoleRegion ist ein fall von ElectricalOutlet %n{nicht} und EngineeringComponent wird mit EngineeringComponent angeschlossen und EngineeringComponent fuellt HoleRegion vollstaendig und EngineeringComponent ist ein fall von PowerSource %n{nicht} und EngineeringComponent wird mit HoleRegion angeschlossen, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an EngineeringComponent %n{nicht} und Process endet an ** EngineeringComponent %n{nicht}
(=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS))))	Mid-level-ontology.kif 2559-2564	Wenn Object ist ein fall von PowerSource %n{nicht}, dann es gibt Process um Process ist ein fall von RadiatingElectromagnetic %n{nicht} und Process beginnet an ** Object %n{nicht}

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 882-901	Wenn Physical ist ein fall von TransferSwitch %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Process %n{nicht} und entity ist ein fall von PowerSource %n{nicht} und entity ist ein fall von PowerSource %n{nicht} und entity ist ein fall von Electricity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity beginnet an entity %n{nicht} haelt waehrend der anfang von die zeit des Bestehens von entity %n{nicht} und entity beginnet an entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von entity %n{nicht} und entity ist gleich ** entity nicht %n{nicht}
(=> (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 25952-25960	Wenn Physical ist ein fall von ElectricalOutlet %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von PowerSource %n{nicht} und entity ist ein fall von Collection %n{nicht} und memberType entity and WireLine und entity schliesst Physical und ** entity an %n{nicht}

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