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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalOutlet

Sigma KEE - ElectricalOutlet
ElectricalOutlet

appearance as argument number 1
-------------------------


(documentation ElectricalOutlet EnglishLanguage "ElectricalOutlet refers to a Device that is used to connect a plug to a power source so that Electricity can flow from the source to an ElectricDevice") Mid-level-ontology.kif 25906-25908
(subclass ElectricalOutlet Device) Mid-level-ontology.kif 25905-25905

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


(termFormat EnglishLanguage ElectricalOutlet "electrical outlet") Mid-level-ontology.kif 25909-25909

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


(=>
    (and
        (instance ?PLUG ElectricalPlug)
        (instance ?DEVICE ElectricDevice)
        (instance ?OUTLET ElectricalOutlet)
        (connectedEngineeringComponents ?DEVICE ?PLUG)
        (completelyFills ?PLUG ?OUTLET)
        (instance ?POWER PowerSource)
        (connectedEngineeringComponents ?POWER ?OUTLET))
    (exists (?RE)
        (and
            (instance ?RE RadiatingElectromagnetic)
            (origin ?RE ?POWER)
            (destination ?RE ?DEVICE))))
Mid-level-ontology.kif 25947-25960
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE Collection)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25919-25927

consequent
-------------------------


(=>
    (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 25977-25986
(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))
Mid-level-ontology.kif 25939-25945


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