ElectricalPlug
|
|
appearance as argument number 1 |
(documentation ElectricalPlug EnglishLanguage "ElectricalPlug is a type of Plug made of metal that is normally used to conduct electricity from an ElectricalOutlet to an ElectricDevice") | Mid-level-ontology.kif 26194-26196 | |
(subclass ElectricalPlug Plug) | Mid-level-ontology.kif 26193-26193 | ElectricalPlug est une sous-classe de Plug |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectricalPlug "electrical plug") | Mid-level-ontology.kif 26197-26197 |
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 26241-26250 |