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
-------------------------


s__documentation(s__ElectricalOutlet,s__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 24943-24945
s__instance(s__Device,s__SetOrClass)

s__subclass(s__ElectricalOutlet,s__Device)

s__instance(s__ElectricalOutlet,s__SetOrClass)

Mid-level-ontology.kif 24942-24942 Electrical outlet is a subclass of device

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


s__termFormat(s__EnglishLanguage,s__ElectricalOutlet,'"electrical outlet"')

Mid-level-ontology.kif 24946-24946

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


( ! [V__PLUG,V__OUTLET,V__DEVICE,V__POWER] :
   (((s__instance(V__PLUG,s__ElectricalPlug) &
         s__instance(V__DEVICE,s__ElectricDevice) &
         s__instance(V__OUTLET,s__ElectricalOutlet) &
         s__connectedEngineeringComponents(V__DEVICE,V__PLUG)
       &
       s__completelyFills(V__PLUG,V__OUTLET)
     &
     s__instance(V__POWER,s__PowerSource) &
     s__connectedEngineeringComponents(V__POWER,V__OUTLET))
=>
(( ? [V__RE] :
     ((s__instance(V__RE,s__RadiatingElectromagnetic) &
         s__origin(V__RE,V__POWER)
       &
       s__destination(V__RE,V__DEVICE))))))
)
)

Mid-level-ontology.kif 24984-24997
( ! [V__X] :
   ((s__instance(V__X,s__ElectricalOutlet) =>
       (( ? [V__HOLE] :
           ((s__instance(V__HOLE,s__Collection) &
               s__memberType(V__HOLE,s__Hole) &
               s__part(V__HOLE,V__X))))))
   )
)

Mid-level-ontology.kif 24948-24954
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24956-24964

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25014-25023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24976-24982


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