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

Formal Language: 



KB Term:  Term intersection
English Word: 

  vegetationType

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 5766-5767
(domain vegetationType 1 GeographicArea) Geography.kif 5769-5769 The number 1 argument of vegetation type is an instance of geographic area
(domainSubclass vegetationType 2 Plant) Geography.kif 5770-5770 The number 2 argument of vegetation type is a subclass of plant
(instance vegetationType AsymmetricRelation) Geography.kif 5764-5764 vegetation type is an instance of asymmetric relation
(instance vegetationType BinaryPredicate) Geography.kif 5763-5763 vegetation type is an instance of binary predicate

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


(format EnglishLanguage vegetationType "%2 is found in %1") domainEnglishFormat.kif 1240-1240
(termFormat EnglishLanguage vegetationType "vegetation type") domainEnglishFormat.kif 10647-10647 "vegetation type" is the printable form of vegetation type in english language

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


(=>
    (and
        (not
            (vegetationType ?REGION ?TYPE))
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (not
        (exists (?PLANT)
            (and
                (instance ?PLANT ?TYPE)
                (located ?PLANT ?REGION)))))
Geography.kif 5781-5789
(=>
    (and
        (vegetationType ?REGION ?TYPE)
        (subclass ?TYPE Plant)
        (instance ?REGION GeographicArea))
    (exists (?PLANT)
        (and
            (instance ?PLANT ?TYPE)
            (located ?PLANT ?REGION))))
Geography.kif 5772-5780

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


(=>
    (instance ?DESERT Desert)
    (not
        (vegetationType ?DESERT BotanicalTree)))
Geography.kif 5959-5961
(=>
    (instance ?FOREST BorealForest)
    (vegetationType ?FOREST PineTree))
Geography.kif 5918-5920
(=>
    (instance ?PLAIN Savanna)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6019-6021
(=>
    (instance ?PLAIN Steppe)
    (not
        (vegetationType ?PLAIN BotanicalTree)))
Geography.kif 6028-6030
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Lichen))
Geography.kif 6060-6062
(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Moss))
Geography.kif 6064-6066
(=>
    (vegetationTypePattern ?AREA ?TYPE ?DENSITY)
    (vegetationType ?AREA ?TYPE))
Geography.kif 5801-5803

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners