| appearance as argument number 1 |
|
| (documentation HeavySurf ChineseLanguage "HeavySurf 是当碎波带 (SurfZone) 出现海浪 (WaterWave)有效波高 (significantWaveHeight) 高于 13 FootLength 或 4 Meter 的情况。") | Weather.kif 1533-1535 | |
| (documentation HeavySurf EnglishLanguage "HeavySurf is when the significantWaveHeight of the WaterWaves over a SurfZone is greater than 13 FootLength or 4 Meter.") | Weather.kif 1531-1532 | |
| (subclass HeavySurf WaterMotion) | Weather.kif 1537-1537 | |
| (subclass HeavySurf WeatherProcess) | Weather.kif 1536-1536 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HeavySurf "高激浪") | domainEnglishFormat.kif 27895-27895 | |
| (termFormat ChineseTraditionalLanguage HeavySurf "高激浪") | domainEnglishFormat.kif 27894-27894 | |
| (termFormat EnglishLanguage HeavySurf "heavy zone") | domainEnglishFormat.kif 27893-27893 |
| antecedent |
|
|
| (=> (and (instance ?HS HeavySurf) (instance ?PLACE WaterArea) (eventLocated ?HS ?PLACE)) (exists (?SWIM ?A) (and (instance ?SWIM Swimming) (instance ?A Human) (agent ?SWIM ?A) (eventLocated ?SWIM ?PLACE) (holdsDuring (WhenFn ?HS) (hazardous ?HS ?A))))) |
Weather.kif 1561-1574 | |
| (=> (instance ?HS HeavySurf) (exists (?SZ ?SWH) (and (instance ?SZ SurfZone) (eventLocated ?HS ?SZ) (significantWaveHeight ?SZ (WhenFn ?HS) (MeasureFn ?SWH FootLength)) (greaterThanOrEqualTo ?SWH 13.0)))) |
Weather.kif 1539-1548 | |
| (=> (instance ?HS HeavySurf) (holdsDuring (WhenFn ?HS) (exists (?SZ ?WW) (and (instance ?SZ SurfZone) (instance ?WW WaterWave) (subProcess ?WW ?HS) (eventLocated ?WW ?SZ))))) |
Weather.kif 1550-1559 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners