SaltWaterArea
|
|
appearance as argument number 1 |
(disjoint SaltWaterArea FreshWaterArea) | Merge.kif 14180-14180 | SuperficieAcquaticaSalata è disgiunto da SuperficieD'AcquaDolce |
(documentation SaltWaterArea ChineseLanguage "这是一处含盐 Water 的 WaterArea,例如:海洋和 海。") | chinese_format.kif 1449-1450 | |
(documentation SaltWaterArea EnglishLanguage "A WaterArea whose Water is saline, e.g. oceans and seas.") | Merge.kif 14181-14182 | |
(externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Wiki_plot_04.png") | pictureList.kif 2519-2519 | |
(externalImage SaltWaterArea "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ World_ocean_map.gif") | pictureList.kif 2625-2625 | |
(subclass SaltWaterArea WaterArea) | Merge.kif 14179-14179 | SuperficieAcquaticaSalata è una sottoclasse di SuperficieAcquatica |
appearance as argument number 2 |
appearance as argument number 3 |
(domain SeacoastFn 2 SaltWaterArea) | Geography.kif 6112-6112 | Il numero 2 argomenti di SeacoastFn è un istanza di SuperficieAcquaticaSalata |
antecedent |
(=> (and (instance ?INLET Inlet) (meetsSpatially ?INLET ?WATER) (instance ?WATER SaltWaterArea)) (instance ?INLET SaltWaterArea)) |
Geography.kif 5239-5244 |
consequent |