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(power source)

appearance as argument number 1

(documentation PowerSource EnglishLanguage "A source of electrical power.")	Mid-level-ontology.kif 3025-3025
(subclass PowerSource Device)	Mid-level-ontology.kif 3027-3027	Power source is a subclass of device

appearance as argument number 2

(subclass ACPowerSource PowerSource)	Mid-level-ontology.kif 28013-28013	Ac power source is a subclass of power source
(subclass DCPowerSource PowerSource)	Mid-level-ontology.kif 3037-3037	DC power source is a subclass of power source
(subclass SinglePhasePowerSource PowerSource)	engineering.kif 1186-1186	Single phase power source is a subclass of power source
(subclass ThreePhasePowerSource PowerSource)	engineering.kif 1191-1191	Three phase power source is a subclass of power source
(termFormat ChineseLanguage PowerSource "能量源")	domainEnglishFormat.kif 47091-47091	Three phase power source is a subclass of power source
(termFormat ChineseTraditionalLanguage PowerSource "能量源")	domainEnglishFormat.kif 47090-47090	Three phase power source is a subclass of power source
(termFormat EnglishLanguage PowerSource "power source")	domainEnglishFormat.kif 47089-47089	Three phase power source is a subclass of power source

appearance as argument number 3

(domain voltageMeasure 1 PowerSource)

Mid-level-ontology.kif 28026-28026

The number 1 argument of voltage measure is an instance of power source

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 27604-27617	If an engineering component is an instance of electrical plug and another engineering component is an instance of electric device and a hole is an instance of electrical outlet and the other engineering component is connected to the engineering component and the engineering component completely fills the hole and a third engineering component is an instance of power source and the third engineering component is connected to the hole, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the third engineering component and the process ends up at the other engineering component
(=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS))))	Mid-level-ontology.kif 3028-3033	If an object is an instance of power source, then there exists a process such that the process is an instance of radiating electromagnetic and the process originates at the object

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 1195-1214	If a physical is an instance of transfer switch, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the other entity is an instance of power source and the third entity is an instance of power source and the fourth entity is an instance of electricity and the physical is an instrument for the entity and the fourth entity originates at the other entity holds during the beginning of the time of existence of the entity and the fourth entity originates at the other entity holds during the end of the time of existence of the entity and the other entity is not equal to the third entity
(=> (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 27576-27584	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity

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