locationMeasuringList |
appearance as argument number 1 |
(documentation locationMeasuringList ChineseLanguage " locationMeasuringList 是一个 联系 MeasuringList 和(量度过程) measuring 发生位置的(二元关系) BinaryRelation。 (locationMeasuringList ?LIST ?PLACE) 的意思是串列 (List) ?LIST 位于 ?PLACE。") | Weather.kif 1756-1758 | |
(documentation locationMeasuringList EnglishLanguage " locationMeasuringList is a BinaryRelation which associates a MeasuringList with where the measuring takes place.(locationMeasuringList ?LIST ?PLACE) means that the List ?LIST is located at ?PLACE.") | Weather.kif 1752-1755 | |
(domain locationMeasuringList 1 MeasuringList) | Weather.kif 1761-1761 | |
(domain locationMeasuringList 2 GeographicArea) | Weather.kif 1762-1762 | |
(instance locationMeasuringList BinaryPredicate) | Weather.kif 1763-1763 |
appearance as argument number 2 |
(format ChineseLanguage locationMeasuringList "%1 在 %2 (发生) eventLocated") | Weather.kif 1760-1760 | |
(format EnglishLanguage locationMeasuringList "The eventLocated for %1 is %2") | Weather.kif 1759-1759 | |
(termFormat ChineseLanguage locationMeasuringList "位置量度串列") | domainEnglishFormat.kif 10406-10406 | |
(termFormat EnglishLanguage locationMeasuringList "location measuring list") | domainEnglishFormat.kif 10405-10405 |
antecedent |
(=> (and (locationMeasuringList ?LIST ?PLACE) (inList ?M ?LIST)) (and (instance ?M Measuring) (eventLocated ?M ?PLACE))) |
Weather.kif 1765-1771 |
consequent |