Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OutletAdapter

Sigma KEE - OutletAdapter
OutletAdapter(outlet adapter)

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 25330-25332
(subclass OutletAdapter Device) Mid-level-ontology.kif 25329-25329 Outlet adapter is a subclass of device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage OutletAdapter "outlet adapter") Mid-level-ontology.kif 25333-25333

antecedent
-------------------------


(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 25335-25342
(=>
    (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 25344-25353


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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