Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  VoltageRatingSecondary
|
|
|
| appearance as argument number 1 |
|
|
| (instance VoltageRatingSecondary MeasurementAttribute) | engineering.kif 639-639 | Secondary Voltage Rating is an instance of measurement attribute |
| (documentation VoltageRatingSecondary EnglishLanguage "VoltageRatingSecondary is the secondary rating voltage of an ElectricalTransformer. It is the power the transformer can pass on its distributing side (output).") | engineering.kif 641-643 | Secondary Voltage Rating is an instance of measurement attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VoltageRatingSecondary "Secondary Voltage Rating") | engineering.kif 645-645 |
| antecedent |
|
|
| (=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
engineering.kif 654-659 | If members of X have the measure Y in terms of Secondary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y |
|