measuringListDuration |
appearance as argument number 1 |
(domain measuringListDuration 1 MeasuringList) | Weather.kif 1870-1870 | Le nombre 1 argument de measuringListDuration est une instance de MeasuringList |
(domain measuringListDuration 2 TimeDuration) | Weather.kif 1871-1871 | Le nombre 2 argument de measuringListDuration est une instance de dur�e temporel |
(instance measuringListDuration BinaryPredicate) | Weather.kif 1872-1872 | measuringListDuration est une instance de pr�dicat binaire |
appearance as argument number 2 |
(documentation ChineseLanguage measuringListDuration "measuringListDuration 是一个 (二元关系)BinaryRelation。 (measuringListDuration ?LIST ?DURATION) ?DURATION 是串列 ?LIST (MeasuringList) 上所有(量度过程)Measuring Processes 从开始到结束的(持续时间) TimeDuration。") | Weather.kif 1866-1868 | |
(documentation EnglishLanguage measuringListDuration "measuringListDuration is a BinaryRelation. (measuringListDuration ?LIST ?DURATION) ?DURATION is the TimeDuration for all the Measuring Process contained in ?LIST, MeasuringList, take to finish.") | Weather.kif 1862-1864 | |
(format ChineseLanguage measuringListDuration "(量度)Measuring 串列 list %1 持续了%2 那么久的时间") | Weather.kif 1869-1869 | |
(format EnglishLanguage measuringListDuration "The Measuring for list %1 takes %2.") | Weather.kif 1865-1865 | |
(termFormat ChineseLanguage measuringListDuration "量度串列持续时间") | domainEnglishFormat.kif 10400-10400 | |
(termFormat EnglishLanguage measuringListDuration "measuring list duration") | domainEnglishFormat.kif 10399-10399 |
antecedent |
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (EndFn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION)))) |
Weather.kif 1874-1882 |
|
consequent |