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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (voltageRatingPrimary ?O ?Q)
    (exists (?P ?EC ?P ?E)
            (part ?P ?O)
            (instance ?EC ElectricTransmission)
            (destination ?EC ?P)
            (objectTransferred ?EC ?E)
            (instance ?E Electricity)
            (measure ?E ?Q))))
Mid-level-ontology.kif 30643-30652


        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 30619-30624
        (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