vegetationType - Sigma Knowledge base Browser

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 5781-5782
(domain vegetationType 1 GeographicArea)	Geography.kif 5784-5784	The number 1 argument of vegetation type is an instance of geographic area
(domainSubclass vegetationType 2 Plant)	Geography.kif 5785-5785	The number 2 argument of vegetation type is a subclass of plant
(instance vegetationType AsymmetricRelation)	Geography.kif 5779-5779	vegetation type is an instance of asymmetric relation
(instance vegetationType BinaryPredicate)	Geography.kif 5778-5778	vegetation type is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage vegetationType "%2 是 found 在 %1 ")	domainEnglishFormat.kif 4923-4923
(format ChineseTraditionalLanguage vegetationType "%2 是 found 在 %1 ")	domainEnglishFormat.kif 4922-4922
(format EnglishLanguage vegetationType "%2 is found in %1")	domainEnglishFormat.kif 4921-4921
(termFormat ChineseLanguage vegetationType "植被类型")	domainEnglishFormat.kif 61221-61221
(termFormat ChineseTraditionalLanguage vegetationType "植被類型")	domainEnglishFormat.kif 61220-61220
(termFormat EnglishLanguage vegetationType "vegetation type")	domainEnglishFormat.kif 61219-61219

antecedent

(=> (and (not (vegetationType ?REGION ?TYPE)) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (not (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION)))))	Geography.kif 5796-5804	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 5787-5795	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area

consequent

(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree)))	Geography.kif 5975-5977	If a geographic area is an instance of desert, then not botanical tree is found in the geographic area
(=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree))	Geography.kif 5934-5936	If a geographic area is an instance of boreal forest, then pine tree is found in the geographic area
(=> (instance ?PLAIN Savanna) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6035-6037	If a geographic area is an instance of savanna, then not botanical tree is found in the geographic area
(=> (instance ?PLAIN Steppe) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6044-6046	If a geographic area is an instance of steppe, then not botanical tree is found in the geographic area
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Lichen))	Geography.kif 6076-6078	If a geographic area is an instance of tundra, then lichen is found in the geographic area
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Moss))	Geography.kif 6080-6082	If a geographic area is an instance of tundra, then moss is found in the geographic area
(=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE))	Geography.kif 5816-5818	If a geographic area is vegetation type pattern a kind of plant for an attribute, then a kind of plant is found in the geographic area

statement

(not
(vegetationType ArcticRegion BotanicalTree))

Geography.kif 3444-3444

Not 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners