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 25894-25896 | |
(subclass ElectricalOutlet Device) | Mid-level-ontology.kif 25893-25893 |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectricalOutlet "electrical outlet") | Mid-level-ontology.kif 25897-25897 |
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 25935-25948 | |
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 25899-25905 | |
(=> (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 25907-25915 |
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 25965-25974 | |
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET))))) |
Mid-level-ontology.kif 25927-25933 |