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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VoltageRatingSecondary
VoltageRatingSecondary(Secondary Voltage Rating)

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


s__documentation(s__VoltageRatingSecondary,s__EnglishLanguage,'"VoltageRatingSecondary is the secondary rating voltage of an ElectricalTransformer. It is the power the transformer can pass on its distributing side (output)."')

Mid-level-ontology.kif 30490-30492
s__instance(s__MeasurementAttribute,s__Class)

s__instance(s__VoltageRatingSecondary,s__MeasurementAttribute)

Mid-level-ontology.kif 30488-30488 Secondary Voltage Rating is an instance of measurement attribute

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


s__termFormat(s__EnglishLanguage,s__VoltageRatingSecondary,'"Secondary Voltage Rating"')

Mid-level-ontology.kif 30494-30494

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


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