Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| waveHeight |
| appearance as argument number 1 |
|
| (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 2718-2721 | |
| (documentation waveHeight ChineseLanguage "waveHeight 是一个二元谓语 BinaryPredicate. (waveHeight ?WW ?X) 的意思是 ?X 高度 (LengthMeasure)是水体（BodyOfWater）兴起 ?WW (WaterWave 波浪)的 波峰和前面波谷高度（altitude）的差别。") | Weather.kif 2722-2724 | |
| (domain waveHeight 1 WaterWave) | Weather.kif 2725-2725 | The number 1 argument of wave height is an instance of water wave |
| (domain waveHeight 2 LengthMeasure) | Weather.kif 2726-2726 | The number 2 argument of wave height is an instance of length measure |
| (instance waveHeight BinaryPredicate) | Weather.kif 2727-2727 | wave height is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage waveHeight "The waveHeight of %1 %2.") | Weather.kif 2728-2728 | |
| (termFormat EnglishLanguage waveHeight "wave height") | domainEnglishFormat.kif 27863-27863 | |
| (termFormat ChineseLanguage waveHeight "波高") | domainEnglishFormat.kif 27864-27864 |
| antecedent |
|
|
| (=> (waveHeight ?WW ?X) (exists (?WATER ?CREST ?TROUGH ?U) (and (instance ?WATER BodyOfWater) (eventLocated ?WW ?WATER) (part ?CREST ?WATER) (part ?TROUGH ?WATER) (distance ?CREST ?TROUGH ?X) (not (exists (?A ?AH) (and (part ?A ?WATER) (altitude ?A ?CREST (MeasureFn ?AH ?U)) (greaterThan ?AH 0.0)))) (not (exists (?B ?BH) (and (part ?B ?WATER) (altitude ?TROUGH ?B (MeasureFn ?BH ?U)) (greaterThan ?BH 0.0))))))) |
Weather.kif 2730-2750 | If The waveHeight of X Y., then there exist Z, W,, , V and U such that Z is an instance of body of water and X is located at Z and W is a part of Z and V is a part of Z and the distance between W and V is Y and there don't exist T and S such that T is a part of Z and the altitude of T relative to W is S U(s) and S is greater than 0.0 and there don't exist R and Q such that R is a part of Z and the altitude of V relative to R is Q U(s) and Q is greater than 0.0 |
| (=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST)))))) |
Weather.kif 2841-2856 | If X is an instance of water wave and The waveHeight of X Y., then there exist Z, W,, , V and U such that Y is a member of Z and W is an instance of water area and X is located at W and V is an instance of unit of length and significantWaveHeight in W during the time of existence of X is U V(s). and equal U and 4.0 and The StandardDeviationFn of Z |
|