| 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 |
| appearance as argument number 2 |
|
|
| (subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 24423-24423 | |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 3034-3034 | |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 871-871 | |
| (subclass ThreePhasePowerSource PowerSource) | engineering.kif 876-876 | |
| (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 |
| 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 |
|
|
|