voltageRatingSecondary - Sigma Knowledge base Browser

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

(instance voltageRatingSecondary BinaryPredicate)	engineering.kif 661-661	seconary voltage rating is an instance of binary predicate
(domain voltageRatingSecondary 1 ElectricalTransformer)	engineering.kif 662-662	The number 1 argument of seconary voltage rating is an instance of electrical transformer
(domain voltageRatingSecondary 2 FunctionQuantity)	engineering.kif 663-663	The number 2 argument of seconary voltage rating is an instance of function quantity
(documentation voltageRatingSecondary EnglishLanguage "voltageRatingSecondary is a BinaryPredicate which maps the MeasurementAttribute, VoltageRatingSecondary of an ElectricalTransformer to a value of FunctionQuantity it distribute (output).")	engineering.kif 664-666	The number 2 argument of seconary voltage rating is an instance of function quantity