|
|
   PowerSource
|
|
|
| appearance as argument number 1 |
|
|
| (documentation PowerSource EnglishLanguage "A source of electrical power.") | Mid-level-ontology.kif 2522-2522 | |
| (subclass PowerSource Device) | Mid-level-ontology.kif 2524-2524 |
| appearance as argument number 2 |
|
|
| (subclass ACPowerSource PowerSource) | Mid-level-ontology.kif 25743-25743 | |
| (subclass DCPowerSource PowerSource) | Mid-level-ontology.kif 2534-2534 | |
| (subclass SinglePhasePowerSource PowerSource) | engineering.kif 871-871 | |
| (subclass ThreePhasePowerSource PowerSource) | engineering.kif 876-876 | |
| (termFormat ChineseLanguage PowerSource "能量源") | domainEnglishFormat.kif 47043-47043 | |
| (termFormat ChineseTraditionalLanguage PowerSource "能量源") | domainEnglishFormat.kif 47042-47042 | |
| (termFormat EnglishLanguage PowerSource "power source") | domainEnglishFormat.kif 47041-47041 |
| appearance as argument number 3 |
|
|
| (domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 25756-25756 |
| 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 25338-25351 | |
| (=> (instance ?PS PowerSource) (exists (?RE) (and (instance ?RE RadiatingElectromagnetic) (origin ?RE ?PS)))) |
Mid-level-ontology.kif 2525-2530 |
| 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 25310-25318 |
|
|
|