measuringListInterval |
appearance as argument number 1 |
(domain measuringListInterval 1 MeasuringList) | Weather.kif 1839-1839 | Die Zahl 1 Argument von measuringListInterval ist ein fall von MeasuringList %n{nicht} |
(domain measuringListInterval 2 TimeDuration) | Weather.kif 1840-1840 | Die Zahl 2 Argument von measuringListInterval ist ein fall von TimeDuration %n{nicht} |
(instance measuringListInterval BinaryPredicate) | Weather.kif 1841-1841 | measuringListInterval ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(documentation ChineseLanguage measuringListInterval "measuringListInterval 是一个(二元关系) BinaryRelation。(measuringListInterval ?LIST ?DUR) ?DUR 是串列 ?LIST (MeasuringList) 上每个(量度过程) Measuring Process 从开始到结束的(持续时间) TimeDuration。") | Weather.kif 1835-1837 | |
(documentation EnglishLanguage measuringListInterval "measuringListInterval is a BinaryRelation. (measuringListInterval ?LIST ?DUR) ?DUR is the TimeDuration for each Measuring Process contained in the ?LIST, MeasuringList, takes from when it begins till when it ends.") | Weather.kif 1830-1833 | |
(format ChineseLanguage measuringListInterval "(量度) Measuring 串列 %1 在 %2 的时间间隔发生") | Weather.kif 1838-1838 | |
(format EnglishLanguage measuringListInterval "The Measuring for list %1 occurs at %2 interval.") | Weather.kif 1834-1834 | |
(termFormat ChineseLanguage measuringListInterval "量度串列时间间隔") | domainEnglishFormat.kif 10403-10403 | |
(termFormat EnglishLanguage measuringListInterval "measuring list interval") | domainEnglishFormat.kif 10402-10402 |
antecedent |
(=> (and (measuringListInterval ?LIST ?DUR) (inList ?M ?LIST)) (duration (WhenFn ?M) ?DUR)) |
Weather.kif 1843-1847 |
|
consequent |