| 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 27861-27863 | |
| (subclass OutletAdapter Device) | Mid-level-ontology.kif 27860-27860 | OutletAdapter est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OutletAdapter "outlet adapter") | Mid-level-ontology.kif 27864-27864 |
| antecedent |
|
|
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 27866-27873 |
|
| (=> (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 27875-27884 |
|
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