PhysicalQuantityToNumberFn |
appearance as argument number 1 |
(documentation PhysicalQuantityToNumberFn ChineseLanguage "(PhysicalQuantityToNumberFn ?QLIST) 把 MeasuringResultList (?QLIST) 的(物理量)PhysicalQuantities 转换成另一个顺序相同的相关(数字串列) Number List。") | Weather.kif 1826-1828 | |
(documentation PhysicalQuantityToNumberFn EnglishLanguage "(PhysicalQuantityToNumberFn ?QLIST) converts the PhysicalQuantities in a MeasuringResultList (?QLIST) to another list of corresponding Numbers in exactly the same order sequence.") | Weather.kif 1821-1823 | |
(domain PhysicalQuantityToNumberFn 1 MeasuringResultList) | Weather.kif 1830-1830 | |
(instance PhysicalQuantityToNumberFn UnaryFunction) | Weather.kif 1831-1831 | |
(range PhysicalQuantityToNumberFn NumberList) | Weather.kif 1832-1832 |
appearance as argument number 2 |
(format ChineseLanguage PhysicalQuantityToNumberFn "PhysicalQuantityToNumberFn 得出一个串列的数字值是 %1") | Weather.kif 1829-1829 | |
(format EnglishLanguage PhysicalQuantityToNumberFn "PhysicalQuantityToNumberFn returns the numberic values of a list of %1") | Weather.kif 1824-1825 | |
(termFormat ChineseLanguage PhysicalQuantityToNumberFn "物理量转数字") | domainEnglishFormat.kif 10409-10409 | |
(termFormat EnglishLanguage PhysicalQuantityToNumberFn "physical quantity to number") | domainEnglishFormat.kif 10408-10408 |
antecedent |
(=> (and (equal ?NLIST (PhysicalQuantityToNumberFn ?QLIST)) (equal ?QUANT (ListOrderFn ?QLIST ?N)) (equal ?NUM (ListOrderFn ?NLIST ?N))) (equal (MeasureFn ?NUM ?UNIT) ?QUANT)) |
Weather.kif 1834-1841 |
consequent |