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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Electricity
Electricity(electricity)
AC, DC, alternating_current, alternating_electric_current, direct_current, direct_electric_current, electrical_energy, electricity

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


s__documentation(s__Electricity,s__EnglishLanguage,'"While electricity is typically thought of as just a difference in electrical potential, one way of modeling electricity is as a substance that can be moved from one point to another or consumed. One could make the claim that subatomic physics also supports the classification as a substance since electrons are objects."')

Mid-level-ontology.kif 2495-2499
s__externalImage(s__Electricity,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ AerialSubstation.jpeg"')

pictureList.kif 4674-4674
s__instance(s__Electricity,s__Class)

s__instance(s__Substance,s__Class)

s__subclass(s__Electricity,s__Substance)

Mid-level-ontology.kif 2494-2494 Electricity is a subclass of substance

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


s__industryProductType(s__ElectricalPowerGeneration,s__Electricity)

Economy.kif 4613-4613 Electricity is an industry product type of electrical power generation
s__termFormat(s__ChineseLanguage,s__Electricity,'"电力"')

domainEnglishFormat.kif 21573-21573
s__termFormat(s__ChineseTraditionalLanguage,s__Electricity,'"電力"')

domainEnglishFormat.kif 21572-21572
s__termFormat(s__EnglishLanguage,s__Electricity,'"electricity"')

domainEnglishFormat.kif 21571-21571

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


( ! [V__T,V__E,V__EM] :
   (((s__instance(V__EM,s__Electromagnet) &
         s__instance(V__T,s__Transfer) &
         s__instance(V__E,s__Electricity) &
         s__objectTransferred(V__T,V__E)
       &
       s__path(V__T,V__EM))
   =>
   (( ? [V__M] :
       ((s__instance(V__M,s__Magnetism) &
           s__instrument(V__M,V__EM))))))
)
)

Cars.kif 3896-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
( ! [V__P,V__N1,V__IC,V__E1,V__E2] :
   (((s__instance(V__N1,s__RealNumber) &
         s__instance(V__N1,s__UnitOfMeasure))
       =>
       (((s__instance(V__IC,s__IgnitionCoil) &
             s__instance(V__P,s__ElectricTransmission) &
             s__resource(V__P,V__E1)
           &
           s__instance(V__E1,s__Electricity) &
           s__instance(V__E2,s__Electricity) &
           s__result(V__P,V__E2)
         &
         s__instrument(V__P,V__IC)
       &
       s__measure(V__E1,s__MeasureFn(s__Volt,V__N1)))
=>
(s__approximateValue(V__N1,n__12)))))
)
)

Cars.kif 3155-3165

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


( ! [V__EV,V__DEV] :
   (((s__instance(V__DEV,s__ElectricDevice) &
         s__instance(V__EV,s__Process) &
         s__instrument(V__EV,V__DEV))
     =>
     (( ? [V__R] :
         ((s__instance(V__R,s__Electricity) &
             s__resource(V__EV,V__R))))))
)
)

Mid-level-ontology.kif 2484-2492
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Computer) |
                           (s__instance(V__THING,s__Machine) &
                             ( ? [V__EV3] :
                               ((s__instance(V__EV3,s__Process) &
                                   (s__patient(V__EV3,V__THING)
                                   &
                                   s__resource(V__EV3,V__ELEC)
                                 &
                                 s__instance(V__ELEC,s__Electricity)))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5126-5150
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ElectricalEquipmentApplianceAndComponentManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Machine) &
                           ( ? [V__EV3] :
                             ((s__instance(V__EV3,s__Process) &
                                 (s__patient(V__EV3,V__THING)
                                 &
                                 s__resource(V__EV3,V__ELEC)
                               &
                               s__instance(V__ELEC,s__Electricity))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5421-5443
( ! [V__EC] :
   ((s__instance(V__EC,s__ElectricTransmission) =>
       (( ? [V__E] :
           ((s__instance(V__E,s__Electricity) &
               s__objectTransferred(V__EC,V__E))))))
   )
)

Cars.kif 2390-2395
No TPTP formula. May not be expressible in strict first order. Cars.kif 1194-1202
No TPTP formula. May not be expressible in strict first order. Cars.kif 3143-3153
( ! [V__S] :
   ((s__instance(V__S,s__Spark) =>
       (( ? [V__E, V__G] :
           ((s__instance(V__E,s__Electricity) &
               s__patient(V__S,V__E)
             &
             s__instance(V__G,s__Substance) &
             s__attribute(V__G,s__Gas) &
             s__eventLocated(V__S,V__G))))))
)
)

Cars.kif 424-432
No TPTP formula. May not be expressible in strict first order. engineering.kif 880-899
( ! [V__MEAS,V__OBJ] :
   (((s__instance(V__MEAS,s__PhysicalQuantity) &
         s__instance(V__OBJ,s__PowerSource))
       =>
       ((s__voltageMeasure(V__OBJ,V__MEAS)
         =>
         (( ? [V__ELEC, V__PROC] :
             ((s__instance(V__ELEC,s__Electricity) &
                 s__instance(V__PROC,s__Process) &
                 s__instrument(V__PROC,V__OBJ)
               &
               s__result(V__PROC,V__ELEC)
             &
             s__measure(V__ELEC,V__MEAS))))))))
)
)

Mid-level-ontology.kif 25594-25602
( ! [V__O,V__Q] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       ((s__voltageRatingPrimary(V__O,V__Q)
         =>
         (( ? [V__P, V__EC, V__P, V__E] :
             ((s__instance(V__P,s__Object) &
                 s__instance(V__P,s__Object) &
                 (s__part(V__P,V__O)
                 &
                 s__instance(V__EC,s__ElectricTransmission) &
                 s__destination(V__EC,V__P)
               &
               s__objectTransferred(V__EC,V__E)
             &
             s__instance(V__E,s__Electricity) &
             s__measure(V__E,V__Q)))))))))
)
)

Mid-level-ontology.kif 30477-30486
( ! [V__O,V__Q] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       ((s__voltageRatingSecondary(V__O,V__Q)
         =>
         (( ? [V__S, V__EC, V__E] :
             ((s__instance(V__S,s__Object) &
                 (s__part(V__S,V__O)
                 &
                 s__instance(V__EC,s__ElectricTransmission) &
                 s__origin(V__EC,V__S)
               &
               s__objectTransferred(V__EC,V__E)
             &
             s__instance(V__E,s__Electricity) &
             s__measure(V__E,V__Q)))))))))
)
)

Mid-level-ontology.kif 30519-30528


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