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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voltageRatingSecondary
voltageRatingSecondary

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


s__documentation(s__voltageRatingSecondary__m,s__EnglishLanguage,'"voltageRatingSecondary is a BinaryPredicate which maps the MeasurementAttribute, VoltageRatingSecondary of an ElectricalTransformer to a value of FunctionQuantity it distribute (output)."')

Mid-level-ontology.kif 30513-30515
s__domain(s__voltageRatingSecondary__m,n__1,s__ElectricalTransformer)

Mid-level-ontology.kif 30511-30511 The number 1 argument of seconary voltage rating is an instance of transformer
s__domain(s__voltageRatingSecondary__m,n__2,s__FunctionQuantity)

Mid-level-ontology.kif 30512-30512 The number 2 argument of seconary voltage rating is an instance of function quantity
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__voltageRatingSecondary__m,s__BinaryPredicate)

Mid-level-ontology.kif 30510-30510 seconary voltage rating is an instance of binary predicate

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


s__format(s__EnglishLanguage,s__voltageRatingSecondary__m,'"the FunctionQuantity of %1 is %2"')

Mid-level-ontology.kif 30516-30516
s__termFormat(s__EnglishLanguage,s__voltageRatingSecondary__m,'"seconary voltage rating"')

Mid-level-ontology.kif 30517-30517

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


( ! [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

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


( ! [V__O,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S))
       =>
       (s__voltageRatingSecondary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30496-30501
( ! [V__O,V__Q,V__S] :
   (((s__instance(V__O,s__ElectricalTransformer) &
         s__instance(V__Q,s__FunctionQuantity))
       =>
       (((s__memberMeasure(V__S,s__VoltageRatingSecondary,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S))
       =>
       (s__voltageRatingSecondary(V__O,V__Q)))))
)
)

Mid-level-ontology.kif 30503-30508


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