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 24432-24433
(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 24436-24436
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 24437-24437
(instance voltageMeasure BinaryPredicate) Mid-level-ontology.kif 24431-24431

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


(format ChineseLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4947-4947
(format ChineseTraditionalLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4946-4946
(format EnglishLanguage voltageMeasure "the voltage of %1 is %2") domainEnglishFormat.kif 4945-4945
(termFormat EnglishLanguage voltageMeasure "voltage measure") Mid-level-ontology.kif 24434-24434

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


(=>
    (voltageMeasure ?OBJ ?MEAS)
    (equal ?MEAS
        (MeasureFn ?QUANT Volt)))
Mid-level-ontology.kif 24439-24441
(=>
    (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 24443-24451


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners