Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  vegetationType

 Sigma KEE - vegetationType
vegetationType

appearance as argument number 1
-------------------------


(instance vegetationType BinaryPredicate) Geography.kif 7782-7782 vegetation type is an instance of binary predicate
(documentation vegetationType EnglishLanguage "(vegetationType ?area ?type) associates a particular GeographicArea with a type of Plant that is found there.") Geography.kif 7784-7785 vegetation type is an instance of binary predicate
(domain vegetationType 1 GeographicArea) Geography.kif 7787-7787 The number 1 argument of vegetation type is an instance of geographic area
(domainSubclass vegetationType 2 Plant) Geography.kif 7788-7788 The number 2 argument of vegetation type is a subclass of plant

appearance as argument number 2
-------------------------


(format EnglishLanguage vegetationType "%2 is found in %1") domainEnglishFormat.kif 4922-4922
(format ChineseTraditionalLanguage vegetationType "%2 是 found 在 %1 ") domainEnglishFormat.kif 4923-4923
(format ChineseLanguage vegetationType "%2 是 found 在 %1 ") domainEnglishFormat.kif 4924-4924
(termFormat EnglishLanguage vegetationType "vegetation type") domainEnglishFormat.kif 61335-61335
(termFormat ChineseTraditionalLanguage vegetationType "植被類型") domainEnglishFormat.kif 61336-61336
(termFormat ChineseLanguage vegetationType "植被类型") domainEnglishFormat.kif 61337-61337

antecedent
-------------------------


(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))		 Geography.kif 7790-7798 If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there exists Z such that Z is an instance of X and Z is located at Y
(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))		 Geography.kif 7800-7808 If X is found in Y, X is a subclass of plant, and Y is an instance of geographic area, then there doesn't exist Z such that Z is an instance of X and Z is located at Y

consequent
-------------------------


(=>
    (vegetationTypePattern ?AREA ?TYPE ?DENSITY)
    (vegetationType ?AREA ?TYPE))		 Geography.kif 7820-7822 If X is vegetation type pattern Y for Z, then Y is found in X
(=>
    (instance ?FOREST BorealForest)
    (vegetationType ?FOREST PineTree))		 Geography.kif 8196-8198 If X is an instance of boreal forest, then pine tree is found in X
(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))		 Geography.kif 8263-8265 If X is an instance of desert, then botanical tree is found in X
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 8357-8360 If X is an instance of savanna, then botanical tree is found in X
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))		 Geography.kif 8367-8369 If X is an instance of steppe, then botanical tree is found in X
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Lichen))		 Geography.kif 8399-8401 If X is an instance of tundra, then lichen is found in X
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Moss))		 Geography.kif 8403-8405 If X is an instance of tundra, then moss is found in X

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners