TreeView Knowledge Base Browser - vegetationType

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	Die Zahl 1 Argument von vegetationType ist ein fall von GeographicArea %n{nicht}
(domainSubclass vegetationType 2 Plant)	Geography.kif 6189-6189	Die Zahl 2 Argument von vegetationType ist eine teilkategorie von Plant %n{nicht}
(instance vegetationType AsymmetricRelation)	Geography.kif 6183-6183	vegetationType ist ein fall von AsymmetricRelation %n{nicht}
(instance vegetationType BinaryPredicate)	Geography.kif 6182-6182	vegetationType ist ein fall von BinaryPredicate %n{nicht}

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

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	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt nicht Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	Wenn vegetationType GeographicArea and Plant und Plant ist eine teilkategorie von Plant und GeographicArea ist ein fall von GeographicArea %n{nicht}, dann es gibt Physical um Physical ist ein fall von Plant %n{nicht} und ** Physical befindet sich an %n{nicht}

consequent

(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree)))	Geography.kif 6633-6635	Wenn GeographicArea ist ein fall von Desert %n{nicht}, dann vegetationType ** GeographicArea and BotanicalTree
(=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree))	Geography.kif 6566-6568	Wenn GeographicArea ist ein fall von BorealForest %n{nicht}, dann vegetationType ** GeographicArea and PineTree
(=> (instance ?PLAIN Savanna) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6693-6696	Wenn GeographicArea ist ein fall von Savanna %n{nicht}, dann vegetationType ** GeographicArea and BotanicalTree
(=> (instance ?PLAIN Steppe) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6703-6705	Wenn GeographicArea ist ein fall von Steppe %n{nicht}, dann vegetationType ** GeographicArea and BotanicalTree
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Lichen))	Geography.kif 6735-6737	Wenn GeographicArea ist ein fall von Tundra %n{nicht}, dann vegetationType ** GeographicArea and Lichen
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Moss))	Geography.kif 6739-6741	Wenn GeographicArea ist ein fall von Tundra %n{nicht}, dann vegetationType ** GeographicArea and Moss
(=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE))	Geography.kif 6221-6223	Wenn vegetationTypePattern GeographicArea, Plant and Attribute, dann vegetationType GeographicArea and ** Plant

statement

(not
(vegetationType ArcticRegion BotanicalTree))

Geography.kif 3585-3585

vegetationType ArcticRegion and BotanicalTree

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners