voltageRatingPrimary - Sigma Knowledge base Browser

appearance as argument number 2

(format EnglishLanguage voltageRatingPrimary "the FunctionQuantity of %1 is %2")	engineering.kif 625-625
(termFormat EnglishLanguage voltageRatingPrimary "primary voltage rating")	engineering.kif 626-626

antecedent

(=>
    (voltageRatingPrimary ?O ?Q)
    (exists (?P ?EC ?P ?E)
        (and
            (part ?P ?O)
            (instance ?EC ElectricTransmission)
            (destination ?EC ?P)
            (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,, , Z (2) V such that Z is a part of X (3) W is an instance of electric transmission (4) W ends up 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)) (voltageRatingPrimary ?O ?Q))	engineering.kif 604-609	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 VoltageRatingPrimary ?Q) (instance ?S Class) (instance ?O ?S)) (voltageRatingPrimary ?O ?Q))	engineering.kif 611-616	If members of X have the measure Y in terms of Primary Voltage Rating, X is an instance of class, and Z is an instance of X, then the FunctionQuantity of Z is Y

(instance voltageRatingPrimary BinaryPredicate)	engineering.kif 618-618	primary voltage rating is an instance of binary predicate
(domain voltageRatingPrimary 1 ElectricalTransformer)	engineering.kif 619-619	The number 1 argument of primary voltage rating is an instance of electrical transformer
(domain voltageRatingPrimary 2 FunctionQuantity)	engineering.kif 620-620	The number 2 argument of primary voltage rating is an instance of function quantity
(documentation voltageRatingPrimary EnglishLanguage "voltageRatingPrimary is a PrimaryPredicate which maps the MeasurementAttribute, VoltageRatingPrimary of an ElectricTransmission to a value of FunctionQuantity it can receive (input).")	engineering.kif 621-624	The number 2 argument of primary voltage rating is an instance of function quantity