ElectricalPlug(electrical plug) | male_plug, phone_jack, plug, telephone_jack |
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 25963-25965 | |
(subclass ElectricalPlug Plug) | Mid-level-ontology.kif 25962-25962 | Electrical plug is a subclass of plug |
appearance as argument number 2 |
(termFormat EnglishLanguage ElectricalPlug "electrical plug") | Mid-level-ontology.kif 25966-25966 |
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 26010-26019 |
|