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 25906-25908 | |
(subclass ElectricalOutlet Device) | Mid-level-ontology.kif 25905-25905 | ElectricalOutlet e' uma sub-classe de Aparelho |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectricalOutlet "electrical outlet") | Mid-level-ontology.kif 25909-25909 |
antecedent |
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 25977-25986 |
|
(=> (instance ?X ElectricalPlug) (hasPurpose ?X (exists (?OUTLET) (and (instance ?OUTLET ElectricalOutlet) (completelyFills ?X ?OUTLET))))) |
Mid-level-ontology.kif 25939-25945 |
|