OutletAdapter
|
|
appearance as argument number 1 |
(documentation OutletAdapter EnglishLanguage "An OutletAdapter is a device that, on one side has HoleRegion and on another side has metal prongs so that an ElectricalPlug can fit into an ElectricalOutlet") | Mid-level-ontology.kif 25996-25998 | |
(subclass OutletAdapter Device) | Mid-level-ontology.kif 25995-25995 | OutletAdapter ist eine teilkategorie von Device |
appearance as argument number 2 |
(termFormat EnglishLanguage OutletAdapter "outlet adapter") | Mid-level-ontology.kif 25999-25999 |
antecedent |
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 26001-26008 |
|
(=> (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 |
|