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 | vegetationType の数値 1 引数は 地理的地域 の instance では |
(domainSubclass vegetationType 2 Plant) | Geography.kif 6491-6491 | vegetationType の数値 2 引数は 植物 のsubclass では |
(instance vegetationType BinaryPredicate) | Geography.kif 6485-6485 | vegetationType は 2進述語 の instance では |
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 | vegetationType ArcticRegion and BotanicalTree |
![]() |
![]() |