TreeView Knowledge Base Browser - voltageRatingSecondary

appearance as argument number 2

(format EnglishLanguage voltageRatingSecondary "the FunctionQuantity of %1 is %2")	engineering.kif 667-667
(termFormat EnglishLanguage voltageRatingSecondary "seconary voltage rating")	engineering.kif 668-668

antecedent

(=>
    (voltageRatingSecondary ?O ?Q)
    (exists (?S ?EC ?E)
        (and
            (part ?S ?O)
            (instance ?EC ElectricTransmission)
            (origin ?EC ?S)
            (objectTransferred ?EC ?E)
            (instance ?E Electricity)
            (measure ?E ?Q))))

If the FunctionQuantity of X is Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W originates at Z (5) the object transferred in W is V (6) V is an instance of electricity (7) the measure of V is Y

consequent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (voltageRatingSecondary ?O ?Q))	engineering.kif 647-652	If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then the FunctionQuantity of W is Y
(=> (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