vegetationType |
appearance as argument number 1 |
(documentation vegetationType EnglishLanguage "(vegetationType ?area ?type) associates a particular GeographicArea with a type of Plant that is found there.") | Geography.kif 6185-6186 | |
(domain vegetationType 1 GeographicArea) | Geography.kif 6188-6188 | The number 1 argument of vegetation type is an instance of geographic area |
(domainSubclass vegetationType 2 Plant) | Geography.kif 6189-6189 | The number 2 argument of vegetation type is a subclass of plant |
(instance vegetationType AsymmetricRelation) | Geography.kif 6183-6183 | vegetation type is an instance of asymmetric relation |
(instance vegetationType BinaryPredicate) | Geography.kif 6182-6182 | vegetation type is an instance of binary predicate |
appearance as argument number 2 |
(format ChineseLanguage vegetationType "%2 是 found 在 %1 ") | domainEnglishFormat.kif 4918-4918 | |
(format ChineseTraditionalLanguage vegetationType "%2 是 found 在 %1 ") | domainEnglishFormat.kif 4917-4917 | |
(format EnglishLanguage vegetationType "%2 is found in %1") | domainEnglishFormat.kif 4916-4916 | |
(termFormat ChineseLanguage vegetationType "植被类型") | domainEnglishFormat.kif 61336-61336 | |
(termFormat ChineseTraditionalLanguage vegetationType "植被類型") | domainEnglishFormat.kif 61335-61335 | |
(termFormat EnglishLanguage vegetationType "vegetation type") | domainEnglishFormat.kif 61334-61334 |
antecedent |
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6201-6209 |
|
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6191-6199 |
|
consequent |
statement |
(not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3585-3585 | Not botanical tree is found in arctic region |