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 26364-26365
(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 26368-26368 voltageMeasure 的 1 数量 是 能量源instance
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 26369-26369 voltageMeasure 的 2 数量 是 物理量instance
(instance voltageMeasure BinaryPredicate) Mid-level-ontology.kif 26363-26363 voltageMeasure二元谓语instance

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


(format ChineseLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4942-4942
(format ChineseTraditionalLanguage voltageMeasure "%1 的 voltage 是 %2 ") domainEnglishFormat.kif 4941-4941
(format EnglishLanguage voltageMeasure "the voltage of %1 is %2") domainEnglishFormat.kif 4940-4940
(termFormat EnglishLanguage voltageMeasure "voltage measure") Mid-level-ontology.kif 26366-26366

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 26376-26384
(=>
    (voltageMeasure ?OBJ ?MEAS)
    (exists (?QUANT)
        (equal ?MEAS
            (MeasureFn ?QUANT Volt))))
Mid-level-ontology.kif 26371-26374


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