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


KB Term:  Term intersection
English Word: 

  SanFranciscoCalifornia

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

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


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

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


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

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


(=>
    (instance ?X ElectricalOutlet)
    (exists (?HOLE)
        (and
            (instance ?HOLE CollectionOfObjects)
            (memberType ?HOLE HoleRegion)
            (part ?HOLE ?X))))		 Mid-level-ontology.kif 28483-28489 If X is an instance of electrical outlet, then there exists Y such that Y is an instance of collection, hole is a member type of Y, and Y is a part of X
(=>
    (instance ?X ElectricalOutlet)
    (hasPurpose ?X
        (exists (?POWER ?WIRE)
            (and
                (instance ?POWER PowerSource)
                (instance ?WIRE CollectionOfObjects)
                (memberType ?WIRE WireLine)
                (connectsEngineeringComponents ?WIRE ?X ?POWER)))))		 Mid-level-ontology.kif 28491-28499 If X is an instance of electrical outlet, then X has the purpose there exist Y, Z such that Y is an instance of power source, Z is an instance of collection, wire line is a member type of Z, Z connects X, and Y
(=>
    (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 28519-28532 If All of the following hold: (1) X is an instance of electrical plug (2) Y is an instance of electric device (3) Z is an instance of electrical outlet (4) Y is connected to X (5) X completely fills Z (6) W is an instance of power source (7) W is connected to Z, then there exists V such that V is an instance of radiating electromagnetic, V originates at W, and V ends up at Y

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


(=>
    (instance ?X ElectricalPlug)
    (hasPurpose ?X
        (exists (?OUTLET)
            (and
                (instance ?OUTLET ElectricalOutlet)
                (completelyFills ?X ?OUTLET)))))		 Mid-level-ontology.kif 28511-28517 If X is an instance of electrical plug, then X has the purpose there exists Y such that Y is an instance of electrical outlet and X completely fills Y
(=>
    (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 28549-28558 If X is an instance of outlet adapter, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Z is an instance of electrical plug (3) Y is an instance of electrical outlet (4) Z completely fills X (5) X completely fills Y (6) X connects Z (7) Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners