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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voltageRatingPrimary
voltageRatingPrimary

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


(documentation voltageRatingPrimary EnglishLanguage "voltageRatingPrimary is a PrimaryPredicate which maps the MeasurementAttribute, VoltageRatingPrimary of an ElectricTransmission to a value of FunctionQuantity it can receive (input).") Mid-level-ontology.kif 30640-30643
(domain voltageRatingPrimary 1 ElectricalTransformer) Mid-level-ontology.kif 30638-30638 domain voltageRatingPrimary, 1 and ElectricalTransformer
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 30639-30639 domain voltageRatingPrimary, 2 and FunctionQuantity
(instance voltageRatingPrimary BinaryPredicate) Mid-level-ontology.kif 30637-30637 instance voltageRatingPrimary and BinaryPredicate

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


(format EnglishLanguage voltageRatingPrimary "the FunctionQuantity of %1 is %2") Mid-level-ontology.kif 30644-30644
(termFormat EnglishLanguage voltageRatingPrimary "primary voltage rating") Mid-level-ontology.kif 30645-30645

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))))
Mid-level-ontology.kif 30647-30656

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30623-30628
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30630-30635


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