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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OutletAdapter
OutletAdapter

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 24092-24094
(subclass OutletAdapter Device) Mid-level-ontology.kif 24091-24091

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


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

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


(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE Hole)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))
Mid-level-ontology.kif 24097-24104
(=>
    (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 24106-24115


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