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

Formal Language: 



KB Term:  Term intersection
English Word: 

  voltageMeasure

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 26273-26274
(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 26277-26277 voltageMeasure 的 1 数量 是 能量源instance
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 26278-26278 voltageMeasure 的 2 数量 是 物理量instance
(instance voltageMeasure BinaryPredicate) Mid-level-ontology.kif 26272-26272 voltageMeasure二元谓语instance

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


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

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


(=>
    (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 26285-26293
(=>
    (voltageMeasure ?OBJ ?MEAS)
    (exists (?QUANT)
        (equal ?MEAS
            (MeasureFn ?QUANT Volt))))
Mid-level-ontology.kif 26280-26283


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