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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - voltageMeasure
voltageMeasure

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


(documentation voltageMeasure EnglishLanguage "(voltageMeasure ?OBJ ?MEAS) describes how much electricity ?OBJ, a power source, generates") Mid-level-ontology.kif 25748-25749
(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 25752-25752 The number 1 argument of voltage measure is an instance of power source
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 25753-25753 The number 2 argument of voltage measure is an instance of physical quantity
(instance voltageMeasure BinaryPredicate) Mid-level-ontology.kif 25747-25747 voltage measure is an instance of binary predicate

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


(format ChineseLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4951-4951
(format ChineseTraditionalLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4950-4950
(format EnglishLanguage voltageMeasure "the voltage of %1 is %2") domainEnglishFormat.kif 4949-4949
(termFormat EnglishLanguage voltageMeasure "voltage measure") Mid-level-ontology.kif 25750-25750

antecedent
-------------------------


(=>
    (voltageMeasure ?OBJ ?MEAS)
    (equal ?MEAS
        (MeasureFn ?QUANT Volt)))
Mid-level-ontology.kif 25755-25757
(=>
    (voltageMeasure ?OBJ ?MEAS)
    (exists (?ELEC ?PROC)
        (and
            (instance ?ELEC Electricity)
            (instance ?PROC Process)
            (instrument ?PROC ?OBJ)
            (result ?PROC ?ELEC)
            (measure ?ELEC ?MEAS))))
Mid-level-ontology.kif 25759-25767


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