VoltageRatingSecondary(Secondary Voltage Rating) |
appearance as argument number 1 |
(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).") | Mid-level-ontology.kif 31299-31301 | |
(instance VoltageRatingSecondary MeasurementAttribute) | Mid-level-ontology.kif 31297-31297 | Secondary Voltage Rating is an instance of measurement attribute |
appearance as argument number 2 |
(termFormat EnglishLanguage VoltageRatingSecondary "Secondary Voltage Rating") | Mid-level-ontology.kif 31303-31303 |
antecedent |
(=> (and (memberMeasure ?S VoltageRatingSecondary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingSecondary ?O ?Q)) |
Mid-level-ontology.kif 31312-31317 |
|