Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| voltageMeasure |
| appearance as argument number 1 |
|
| (instance voltageMeasure BinaryPredicate) | Mid-level-ontology.kif 28920-28920 | voltage measure is an instance of binary predicate |
| (documentation voltageMeasure EnglishLanguage "(voltageMeasure ?OBJ ?MEAS) describes how much electricity ?OBJ, a power source, generates") | Mid-level-ontology.kif 28921-28922 | voltage measure is an instance of binary predicate |
| (domain voltageMeasure 1 PowerSource) | Mid-level-ontology.kif 28925-28925 | The number 1 argument of voltage measure is an instance of power source |
| (domain voltageMeasure 2 PhysicalQuantity) | Mid-level-ontology.kif 28926-28926 | The number 2 argument of voltage measure is an instance of physical quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage voltageMeasure "voltage measure") | Mid-level-ontology.kif 28923-28923 | |
| (format EnglishLanguage voltageMeasure "the voltage of %1 is %2") | domainEnglishFormat.kif 4946-4946 | |
| (format ChineseTraditionalLanguage voltageMeasure "%1 的 voltage 是 %2 ") | domainEnglishFormat.kif 4947-4947 | |
| (format ChineseLanguage voltageMeasure "%1 的 voltage 是 %2 ") | domainEnglishFormat.kif 4948-4948 |
| antecedent |
|
|
| (=> (voltageMeasure ?OBJ ?MEAS) (exists (?QUANT) (equal ?MEAS (MeasureFn ?QUANT Volt)))) |
Mid-level-ontology.kif 28928-28931 | If the voltage of X is Y, then there exists Z such that equal Y and Z volt(s) |
| (=> (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 28933-28941 | If the voltage of X is Y, then there exist Z, W such that Z is an instance of electricity, W is an instance of process, X is an instrument for W, Z is a result of W, and the measure of Z is Y |
|