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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OutletAdapter
OutletAdapter(outlet adapter)

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

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


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

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


(=>
    (instance ?ADAPT OutletAdapter)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?ADAPT)
            (material Metal ?ADAPT))))		 Mid-level-ontology.kif 27063-27070
(=>
    (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 27072-27081


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