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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElectricalPlug
ElectricalPlug(electrical plug)male_plug, phone_jack, plug, telephone_jack

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


s__documentation(s__ElectricalPlug,s__EnglishLanguage,'"ElectricalPlug is a type of Plug made of metal that is normally used to conduct electricity from an ElectricalOutlet to an ElectricDevice"')

Mid-level-ontology.kif 25152-25154
s__instance(s__Plug,s__Class)

s__subclass(s__ElectricalPlug,s__Plug)

s__instance(s__ElectricalPlug,s__Class)

Mid-level-ontology.kif 25151-25151 Electrical plug is a subclass of plug

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


s__termFormat(s__EnglishLanguage,s__ElectricalPlug,'"electrical plug"')

Mid-level-ontology.kif 25155-25155

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 25169-25182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25161-25167
( ! [V__X] :
   ((s__instance(V__X,s__ElectricalPlug) =>
       (s__material(s__Metal,V__X)))
   )
)

Mid-level-ontology.kif 25157-25159

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25199-25208


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