|
|
   CoastalFlooding
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CoastalFlooding ChineseLanguage "沿海洪水 (CoastalFlooding)是出现在海岸 (Seacoast)的洪水(Flooding)。") | Weather.kif 1608-1609 | |
| (documentation CoastalFlooding EnglishLanguage "CoastalFlooding is a Flooding that occurs at Seacoast.") | Weather.kif 1606-1607 | |
| (subclass CoastalFlooding Flooding) | Weather.kif 1610-1610 | Coastal flooding is a subclass of flooding |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CoastalFlooding "沿海洪水") | domainEnglishFormat.kif 15372-15372 | |
| (termFormat ChineseTraditionalLanguage CoastalFlooding "沿海洪水") | domainEnglishFormat.kif 15371-15371 | |
| (termFormat EnglishLanguage CoastalFlooding "coastal flooding") | domainEnglishFormat.kif 15370-15370 |
| antecedent |
|
|
| (=> (instance ?CF CoastalFlooding) (exists (?AREA) (and (instance ?AREA Seacoast) (eventLocated ?CF ?AREA)))) |
Weather.kif 1612-1617 |
|
|
|
|