Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - vegetationType
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 植被类型 的 1 数量 是 地理区域instance
(domainSubclass vegetationType 2 Plant) Geography.kif 6189-6189 植被类型 的 2 数量 是 植物subclass
(instance vegetationType AsymmetricRelation) Geography.kif 6183-6183 植被类型非对称关系instance
(instance vegetationType BinaryPredicate) Geography.kif 6182-6182 植被类型二元谓语instance

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 61334-61334
(termFormat ChineseTraditionalLanguage vegetationType "植被類型") domainEnglishFormat.kif 61333-61333
(termFormat EnglishLanguage vegetationType "vegetation type") domainEnglishFormat.kif 61332-61332

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
-------------------------


(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))
Geography.kif 6633-6635
(=>
    (instance ?FOREST BorealForest)
    (vegetationType ?FOREST PineTree))
Geography.kif 6566-6568
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6693-6696
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6703-6705
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Lichen))
Geography.kif 6735-6737
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Moss))
Geography.kif 6739-6741
(=>
    (vegetationTypePattern ?AREA ?TYPE ?DENSITY)
    (vegetationType ?AREA ?TYPE))
Geography.kif 6221-6223