vegetationTypePattern |
appearance as argument number 1 |
![]() |
(documentation vegetationTypePattern EnglishLanguage "(vegetationTypePattern ?AREA ?TYPE ?DENSITY) means that in the GeographicArea ?AREA the Plant ?TYPE is found with ?DENSITY.") | Geography.kif 6515-6517 | |
(domain vegetationTypePattern 1 GeographicArea) | Geography.kif 6519-6519 | vegetationTypePattern の数値 1 引数は 地理的地域 の instance では |
(domain vegetationTypePattern 3 Attribute) | Geography.kif 6521-6521 | vegetationTypePattern の数値 3 引数は 属性 の instance では |
(domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 6520-6520 | vegetationTypePattern の数値 2 引数は 植物 のsubclass では |
(instance vegetationTypePattern TernaryPredicate) | Geography.kif 6513-6513 | vegetationTypePattern は 3進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage vegetationTypePattern "%1 %n 是 对于 %3 的 vegetation 类别模式") | domainEnglishFormat.kif 2579-2579 | |
(format ChineseTraditionalLanguage vegetationTypePattern "%1 %n 是 對於 %3 的 vegetation 類別模式") | domainEnglishFormat.kif 2578-2578 | |
(format EnglishLanguage vegetationTypePattern "%1 is %n vegetation type pattern %2 for %3") | domainEnglishFormat.kif 2577-2577 | |
(termFormat ChineseLanguage vegetationTypePattern "植被类型模式") | domainEnglishFormat.kif 61334-61334 | |
(termFormat ChineseTraditionalLanguage vegetationTypePattern "植被類型模式") | domainEnglishFormat.kif 61333-61333 | |
(termFormat EnglishLanguage vegetationTypePattern "vegetation type pattern") | domainEnglishFormat.kif 61332-61332 |
antecedent |
![]() |
(=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE)) |
Geography.kif 6523-6525 |
|
consequent |
![]() |
(=> (instance ?FOREST Forest) (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation)) |
Geography.kif 6661-6663 | |
(=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation)) |
Geography.kif 6906-6908 |
|
(=> (instance ?FOREST RainForest) (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation)) |
Geography.kif 6671-6673 | |
(=> (instance ?PLAIN Grassland) (vegetationTypePattern ?PLAIN Grass GroundCoverVegetation)) |
Geography.kif 7004-7006 | |
(=> (instance ?PLAIN Veldt) (vegetationTypePattern ?PLAIN Shrub ScatteredVegetation)) |
Geography.kif 7060-7062 |
|
(=> (instance ?SWAMP Swamp) (vegetationTypePattern ?SWAMP Grass DenseVegetation)) |
Geography.kif 6918-6920 |
|
![]() |
![]() |