| 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 |
| appearance as argument number 2 |
|
|
| (subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26651-26651 | |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2568-2568 | |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 1186-1186 | |
| (subclass ThreePhasePowerSource PowerSource) | engineering.kif 1191-1191 | |
| (termFormat ChineseLanguage PowerSource "能量源") | domainEnglishFormat.kif 47093-47093 | |
| (termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47092-47092 | |
| (termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47091-47091 |
| appearance as argument number 3 |
|
|
| (domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 26664-26664 |
| 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 26243-26256 | |
| (=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS)))) |
Mid-level-ontology.kif 2559-2564 |
| 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 | |
| (=> (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 26215-26223 |
|
|
|