measuringResult |
appearance as argument number 1 |
![]() |
(documentation measuringResult ChineseLanguage "measuringResult 是一个 联系 MeasuringList 上一系列的(量度过程)Measuring Processe 和它相关,在 MeasuringResultList 上的一系列(结果) results 的(二元关系)Binaryrelation。 (measruingResult ?MLIST ?RLIST)的意思是(串列)List ?RLIST 是 (量度串列) Measuring List ?MLIST 的(结果) result。") | Weather.kif 1796-1800 | |
(documentation measuringResult EnglishLanguage "measuringResult is a Binaryrelation which associates a sequence of Measuring Processes from the MeasuringList with the sequence of results from its corresponding MeasuringResultList. (measruingResult ?MLIST ?RLIST) means that the List ?RLIST is the result of the List of Measuring ?MLIST.") | Weather.kif 1790-1794 | |
(domain measuringResult 1 MeasuringList) | Weather.kif 1802-1802 | |
(domain measuringResult 2 MeasuringResultList) | Weather.kif 1803-1803 | |
(instance measuringResult BinaryRelation) | Weather.kif 1804-1804 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage measuringResult "%2 是 %1 的(结果) result") | Weather.kif 1801-1801 | |
(format EnglishLanguage measuringResult "%2 is the result of %1") | Weather.kif 1795-1795 | |
(termFormat ChineseLanguage measuringResult "量度结果") | domainEnglishFormat.kif 10415-10415 | |
(termFormat EnglishLanguage measuringResult "measuring result") | domainEnglishFormat.kif 10414-10414 |
antecedent |
![]() |
(=> (and (measuringResult ?MLIST ?RLIST) (equal ?M (ListOrderFn ?MLIST ?N)) (equal ?R (ListOrderFn ?RLIST ?N))) (result ?M ?R)) |
Weather.kif 1806-1811 |
consequent |
![]() |
![]() |
![]() |