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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalOutlet
ElectricalOutlet(electrical outlet)electric_outlet, electric_receptacle, electrical_outlet, outlet, socket, wall_plug, wall_socket

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 27806-27808
(subclass ElectricalOutlet Device) Mid-level-ontology.kif 27805-27805 Electrical outlet is a subclass of device

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


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

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 27847-27860
(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE Collection)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?X))))
Mid-level-ontology.kif 27811-27817
(=>
    (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 27819-27827

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 27877-27886
(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))
Mid-level-ontology.kif 27839-27845


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