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 31247-31250
(domain voltageRatingPrimary 1 ElectricalTransformer) Mid-level-ontology.kif 31245-31245 voltageRatingPrimary 的 1 数量 是 变压器instance
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 31246-31246 voltageRatingPrimary 的 2 数量 是 函数量instance
(instance voltageRatingPrimary BinaryPredicate) Mid-level-ontology.kif 31244-31244 voltageRatingPrimary二元谓语instance

appearance as argument number 2

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


    (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 31254-31263


        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31230-31235
        (memberMeasure ?S VoltageRatingPrimary ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (voltageRatingPrimary ?O ?Q))
Mid-level-ontology.kif 31237-31242

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