Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| vegetationTypePattern |
| appearance as argument number 1 |
|
| (instance vegetationTypePattern TernaryPredicate) | Geography.kif 7810-7810 | vegetation type pattern is an instance of ternary predicate |
| (documentation vegetationTypePattern EnglishLanguage "(vegetationTypePattern ?AREA ?TYPE ?DENSITY) means that in the GeographicArea ?AREA the Plant ?TYPE is found with ?DENSITY.") | Geography.kif 7812-7814 | vegetation type pattern is an instance of ternary predicate |
| (domain vegetationTypePattern 1 GeographicArea) | Geography.kif 7816-7816 | The number 1 argument of vegetation type pattern is an instance of geographic area |
| (domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 7817-7817 | The number 2 argument of vegetation type pattern is a subclass of plant |
| (domain vegetationTypePattern 3 Attribute) | Geography.kif 7818-7818 | The number 3 argument of vegetation type pattern is an instance of attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage vegetationTypePattern "%1 is %n vegetation type pattern %2 for %3") | domainEnglishFormat.kif 2577-2577 | |
| (format ChineseTraditionalLanguage vegetationTypePattern "%1 %n 是 對於 %3 的 vegetation 類別模式") | domainEnglishFormat.kif 2578-2578 | |
| (format ChineseLanguage vegetationTypePattern "%1 %n 是 对于 %3 的 vegetation 类别模式") | domainEnglishFormat.kif 2579-2579 | |
| (termFormat EnglishLanguage vegetationTypePattern "vegetation type pattern") | domainEnglishFormat.kif 61341-61341 | |
| (termFormat ChineseTraditionalLanguage vegetationTypePattern "植被類型模式") | domainEnglishFormat.kif 61342-61342 | |
| (termFormat ChineseLanguage vegetationTypePattern "植被类型模式") | domainEnglishFormat.kif 61343-61343 |
| antecedent |
|
|
| (=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE)) |
Geography.kif 7820-7822 | If X is vegetation type pattern Y for Z, then Y is found in X |
| consequent |
|
|
|