| appearance as argument number 1 |
|
| (documentation OutletAdapter EnglishLanguage "An OutletAdapter is a device that, on one side has Hole and on another side has metal prongs so that an ElectricalPlug can fit into an ElectricalOutlet") | Mid-level-ontology.kif 22176-22178 | |
| (subclass OutletAdapter Device) | Mid-level-ontology.kif 22175-22175 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OutletAdapter "outlet adapter") | Mid-level-ontology.kif 22179-22179 |
| antecedent |
|
|
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 22181-22188 | |
| (=> (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 22190-22199 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners