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

Formal Language: 



KB Term:  Term intersection
English Word: 

  voltageRatingPrimary

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 30636-30639
(domain voltageRatingPrimary 1 ElectricalTransformer) Mid-level-ontology.kif 30634-30634
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 30635-30635
(instance voltageRatingPrimary BinaryPredicate) Mid-level-ontology.kif 30633-30633

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


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

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 30643-30652

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30619-30624
(=>
    (and
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30626-30631


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

Show without tree


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