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 25700-25701
(domain voltageMeasure 1 PowerSource) Mid-level-ontology.kif 25704-25704 voltageMeasure 的 1 数量 是 能量源instance
(domain voltageMeasure 2 PhysicalQuantity) Mid-level-ontology.kif 25705-25705 voltageMeasure 的 2 数量 是 物理量instance
(instance voltageMeasure BinaryPredicate) Mid-level-ontology.kif 25699-25699 voltageMeasure二元谓语instance

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 25702-25702

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


(=>
    (voltageMeasure ?OBJ ?MEAS)
    (equal ?MEAS
        (MeasureFn ?QUANT Volt)))
Mid-level-ontology.kif 25707-25709
(=>
    (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 25711-25719


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