|
|
   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 and 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 |
|
|
|