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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PowerSource
PowerSource(power source)electric_main

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


s__documentation(s__PowerSource,s__EnglishLanguage,'"A source of electrical power."')

Mid-level-ontology.kif 2501-2501
s__subclass(s__PowerSource,s__Device)

s__instance(s__Device,s__SetOrClass)

s__instance(s__PowerSource,s__SetOrClass)

Mid-level-ontology.kif 2503-2503 Power source is a subclass of device

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


s__subclass(s__ACPowerSource,s__PowerSource)

s__instance(s__ACPowerSource,s__SetOrClass)

s__instance(s__PowerSource,s__SetOrClass)

Mid-level-ontology.kif 25389-25389 Ac power source is a subclass of power source
s__subclass(s__DCPowerSource,s__PowerSource)

s__instance(s__DCPowerSource,s__SetOrClass)

s__instance(s__PowerSource,s__SetOrClass)

Mid-level-ontology.kif 2513-2513 DC power source is a subclass of power source
s__subclass(s__SinglePhasePowerSource,s__PowerSource)

s__instance(s__SinglePhasePowerSource,s__SetOrClass)

s__instance(s__PowerSource,s__SetOrClass)

engineering.kif 871-871 Single phase power source is a subclass of power source
s__instance(s__ThreePhasePowerSource,s__SetOrClass)

s__instance(s__PowerSource,s__SetOrClass)

s__subclass(s__ThreePhasePowerSource,s__PowerSource)

engineering.kif 876-876 Three phase power source is a subclass of power source
s__termFormat(s__ChineseLanguage,s__PowerSource,'"能量源"')

domainEnglishFormat.kif 47043-47043
s__termFormat(s__ChineseTraditionalLanguage,s__PowerSource,'"能量源"')

domainEnglishFormat.kif 47042-47042
s__termFormat(s__EnglishLanguage,s__PowerSource,'"power source"')

domainEnglishFormat.kif 47041-47041

appearance as argument number 3
-------------------------


s__domain(s__voltageMeasure__m,n__1,s__PowerSource)

Mid-level-ontology.kif 25402-25402 The number 1 argument of voltage measure is an instance of power source

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__PS] :
   ((s__instance(V__PS,s__PowerSource) =>
       (( ? [V__RE] :
           ((s__instance(V__RE,s__RadiatingElectromagnetic) &
               s__origin(V__RE,V__PS))))))
   )
)

Mid-level-ontology.kif 2504-2509

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 880-899
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24956-24964


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