| ElectricalOutlet | |
| appearance as argument number 1 |
|
|
| (documentation ElectricalOutlet EnglishLanguage "ElectricalOutlet refers to a Device that is used to connect a plug to a power source so that Electricity can flow from the source to an ElectricDevice") | Mid-level-ontology.kif 26202-26204 | |
| (subclass ElectricalOutlet Device) | Mid-level-ontology.kif 26201-26201 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElectricalOutlet "electrical outlet") | Mid-level-ontology.kif 26205-26205 |
| 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 ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 26207-26213 | |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?ADAPT OutletAdapter) (hasPurpose ?ADAPT (exists (?OUTLET ?PLUG) (and (instance ?PLUG ElectricalPlug) (instance ?OUTLET ElectricalOutlet) (completelyFills ?PLUG ?ADAPT) (completelyFills ?ADAPT ?OUTLET) (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET))))) |
Mid-level-ontology.kif 26273-26282 | |
| (=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET))))) |
Mid-level-ontology.kif 26235-26241 |
|
|
|