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 6487-6488 | |
(domain vegetationType 1 GeographicArea) | Geography.kif 6490-6490 | The number 1 argument of vegetation type is an instance of geographic area |
(domainSubclass vegetationType 2 Plant) | Geography.kif 6491-6491 | The number 2 argument of vegetation type is a subclass of plant |
(instance vegetationType BinaryPredicate) | Geography.kif 6485-6485 | vegetation type is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage vegetationType "%2 是 found 在 %1 ") | domainEnglishFormat.kif 4924-4924 | |
(format ChineseTraditionalLanguage vegetationType "%2 是 found 在 %1 ") | domainEnglishFormat.kif 4923-4923 | |
(format EnglishLanguage vegetationType "%2 is found in %1") | domainEnglishFormat.kif 4922-4922 | |
(termFormat ChineseLanguage vegetationType "植被类型") | domainEnglishFormat.kif 61328-61328 | |
(termFormat ChineseTraditionalLanguage vegetationType "植被類型") | domainEnglishFormat.kif 61327-61327 | |
(termFormat EnglishLanguage vegetationType "vegetation type") | domainEnglishFormat.kif 61326-61326 |
antecedent |
![]() |
(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))) |
Geography.kif 6503-6511 |
|
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))) |
Geography.kif 6493-6501 |
|
consequent |
![]() |
statement |
![]() |
(not (vegetationType ArcticRegion BotanicalTree)) |
Geography.kif 3743-3743 | Not botanical tree is found in arctic region |
![]() |
![]() |