Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voltageRatingSecondary
voltageRatingSecondary

appearance as argument number 1
-------------------------


(documentation voltageRatingSecondary EnglishLanguage "voltageRatingSecondary is a BinaryPredicate which maps the MeasurementAttribute, VoltageRatingSecondary of an ElectricalTransformer to a value of FunctionQuantity it distribute (output).") Mid-level-ontology.kif 30683-30685
(domain voltageRatingSecondary 1 ElectricalTransformer) Mid-level-ontology.kif 30681-30681 domain voltageRatingSecondary, 1 and ElectricalTransformer
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 30682-30682 domain voltageRatingSecondary, 2 and FunctionQuantity
(instance voltageRatingSecondary BinaryPredicate) Mid-level-ontology.kif 30680-30680 instance voltageRatingSecondary and BinaryPredicate

appearance as argument number 2
-------------------------


(format EnglishLanguage voltageRatingSecondary "the FunctionQuantity of %1 is %2") Mid-level-ontology.kif 30686-30686
(termFormat EnglishLanguage voltageRatingSecondary "seconary voltage rating") Mid-level-ontology.kif 30687-30687

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))))
Mid-level-ontology.kif 30689-30698

consequent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 30666-30671
(=>
    (and
        (memberMeasure ?S VoltageRatingSecondary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingSecondary ?O ?Q))
Mid-level-ontology.kif 30673-30678


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners