| PowerSource(能量源) | |
| appearance as argument number 1 |
|
|
| (documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 2563-2563 | |
| (subclass PowerSource Device) | Mid-level-ontology.kif 2565-2565 | 子類 能量源 and Device |
| appearance as argument number 2 |
|
|
| (subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 26355-26355 | 子類 ACPowerSource and 能量源 |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2575-2575 | 子類 直流電源 and 能量源 |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 873-873 | 子類 單相電源 and 能量源 |
| (subclass ThreePhasePowerSource PowerSource) | engineering.kif 878-878 | 子類 三相電源 and 能量源 |
| (termFormat ChineseLanguage PowerSource "能量源") | domainEnglishFormat.kif 47060-47060 | |
| (termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47059-47059 | |
| (termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47058-47058 |
| appearance as argument number 3 |
|
|
| (domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 26368-26368 | 域 voltageMeasure, 1 and 能量源 |
| 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 25947-25960 |
|
| (=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS)))) |
Mid-level-ontology.kif 2566-2571 |
| 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 | |
| (=> (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 25919-25927 |
|
|
|