| 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 5808-5810 | |
| (domain vegetationTypePattern 1 GeographicArea) | Geography.kif 5812-5812 | domain vegetationTypePattern, 1 and GeographicArea |
| (domain vegetationTypePattern 3 Attribute) | Geography.kif 5814-5814 | domain vegetationTypePattern, 3 and Attribute |
| (domainSubclass vegetationTypePattern 2 Plant) | Geography.kif 5813-5813 | domainSubclass vegetationTypePattern, 2 and Plant |
| (instance vegetationTypePattern TernaryPredicate) | Geography.kif 5806-5806 | instance vegetationTypePattern and TernaryPredicate |
| 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 61227-61227 | |
| (termFormat ChineseTraditionalLanguage vegetationTypePattern "植被類型模式") | domainEnglishFormat.kif 61226-61226 | |
| (termFormat EnglishLanguage vegetationTypePattern "vegetation type pattern") | domainEnglishFormat.kif 61225-61225 |
| antecedent |
|
|
| (=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE)) |
Geography.kif 5816-5818 |
| consequent |
|
|
| (=> (instance ?FOREST Forest) (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation)) |
Geography.kif 5903-5905 | |
| (=> (instance ?FOREST Jungle) (vegetationTypePattern ?FOREST Plant DenseVegetation)) |
Geography.kif 5944-5946 | |
| (=> (instance ?FOREST RainForest) (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation)) |
Geography.kif 5913-5915 | |
| (=> (instance ?PLAIN Grassland) (vegetationTypePattern ?PLAIN Grass GroundCoverVegetation)) |
Geography.kif 6009-6011 | |
| (=> (instance ?PLAIN Veldt) (vegetationTypePattern ?PLAIN Shrub ScatteredVegetation)) |
Geography.kif 6064-6066 | |
| (=> (instance ?SWAMP Swamp) (vegetationTypePattern ?SWAMP Grass DenseVegetation)) |
Geography.kif 5956-5958 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners