waveHeight |
appearance as argument number 1 |
(documentation waveHeight ChineseLanguage "waveHeight 是一个二元谓语 BinaryPredicate. (waveHeight ?WW ?X) 的意思是 ?X 高度 (LengthMeasure)是水体(BodyOfWater)兴起 ?WW (WaterWave 波浪)的 波峰和前面波谷高度(altitude)的差别。") | Weather.kif 1407-1409 | |
(documentation waveHeight EnglishLanguage "waveHeight is a BinaryPredicate. (waveHeight ?WW ?X) means that ?X is the LengthMeasure of the difference between the altitude of the crest and its leading trough of the BodyOfWater of where a ?WW (WaterWave) takes place.") | Weather.kif 1403-1406 | |
(domain waveHeight 1 WaterWave) | Weather.kif 1410-1410 | 域 waveHeight, 1 and 水波 |
(domain waveHeight 2 LengthMeasure) | Weather.kif 1411-1411 | 域 waveHeight, 2 and LengthMeasure |
(instance waveHeight BinaryPredicate) | Weather.kif 1412-1412 | 例 waveHeight and BinaryPredicate |
(subclass waveHeight ConstantQuantity) | Weather.kif 1413-1413 | 子類 waveHeight and ConstantQuantity |
appearance as argument number 2 |
(format EnglishLanguage waveHeight "The waveHeight of %1 %2.") | Weather.kif 1414-1414 | |
(termFormat ChineseLanguage waveHeight "波高") | domainEnglishFormat.kif 27860-27860 | |
(termFormat EnglishLanguage waveHeight "wave height") | domainEnglishFormat.kif 27859-27859 |
antecedent |