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

KB Term:  Term intersection
English Word: 

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

statement
-------------------------


(not
    (vegetationType ArcticRegion BotanicalTree))		 Geography.kif 5011-5011 Botanical tree is found in arctic region


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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