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 6213-6215 | |
(domain vegetationTypePattern 1 GeographicArea) | Geography.kif 6217-6217 | The number 1 argument of vegetation type pattern is an instance of geographic area |
(domain vegetationTypePattern 3 Attribute) | Geography.kif 6219-6219 | The number 3 argument of vegetation type pattern is an instance of attribute |
(domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 6218-6218 | The number 2 argument of vegetation type pattern is a subclass of plant |
(instance vegetationTypePattern TernaryPredicate) | Geography.kif 6211-6211 | vegetation type pattern is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage vegetationTypePattern "%1 %n 是 对于 %3 的 vegetation 类别模式") | domainEnglishFormat.kif 2575-2575 | |
(format ChineseTraditionalLanguage vegetationTypePattern "%1 %n 是 對於 %3 的 vegetation 類別模式") | domainEnglishFormat.kif 2574-2574 | |
(format EnglishLanguage vegetationTypePattern "%1 is %n vegetation type pattern %2 for %3") | domainEnglishFormat.kif 2573-2573 | |
(termFormat ChineseLanguage vegetationTypePattern "植被类型模式") | domainEnglishFormat.kif 61388-61388 | |
(termFormat ChineseTraditionalLanguage vegetationTypePattern "植被類型模式") | domainEnglishFormat.kif 61387-61387 | |
(termFormat EnglishLanguage vegetationTypePattern "vegetation type pattern") | domainEnglishFormat.kif 61386-61386 |
antecedent |
(=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE)) |
Geography.kif 6221-6223 |
|
consequent |