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	vegetationType の数値 1 引数は地理的地域の instance では %n
(domainSubclass vegetationType 2 Plant)	Geography.kif 6189-6189	vegetationType の数値 2 引数は植物のsubclass では %n
(instance vegetationType AsymmetricRelation)	Geography.kif 6183-6183	vegetationType は非対称関係の instance では %n
(instance vegetationType BinaryPredicate)	Geography.kif 6182-6182	vegetationType は 2進述語の instance では %n

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	vegetationType 地理的地域 and 植物植物は植物の subclass では %n 地理的地域は地理的地域の instance では %n 物理物理は植物の instance では %n 物理は地理的地域に located して %n
(=> (and (vegetationType ?REGION ?TYPE) (subclass ?TYPE Plant) (instance ?REGION GeographicArea)) (exists (?PLANT) (and (instance ?PLANT ?TYPE) (located ?PLANT ?REGION))))	Geography.kif 6191-6199	vegetationType 地理的地域 and 植物植物は植物の subclass では %n 地理的地域は地理的地域の instance では %n 物理物理は植物の instance では %n 物理は地理的地域に located して %n

consequent

(=> (instance ?DESERT Desert) (not (vegetationType ?DESERT BotanicalTree)))	Geography.kif 6633-6635	地理的地域は Desert の instance では %n vegetationType 地理的地域 and BotanicalTree
(=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree))	Geography.kif 6566-6568	地理的地域は BorealForest の instance では %n vegetationType 地理的地域 and PineTree
(=> (instance ?PLAIN Savanna) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6693-6696	地理的地域は Savanna の instance では %n vegetationType 地理的地域 and BotanicalTree
(=> (instance ?PLAIN Steppe) (not (vegetationType ?PLAIN BotanicalTree)))	Geography.kif 6703-6705	地理的地域は Steppe の instance では %n vegetationType 地理的地域 and BotanicalTree
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Lichen))	Geography.kif 6735-6737	地理的地域は Tundra の instance では %n vegetationType 地理的地域 and Lichen
(=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Moss))	Geography.kif 6739-6741	地理的地域は Tundra の instance では %n vegetationType 地理的地域 and コケ
(=> (vegetationTypePattern ?AREA ?TYPE ?DENSITY) (vegetationType ?AREA ?TYPE))	Geography.kif 6221-6223	vegetationTypePattern 地理的地域, 植物 and 属性 vegetationType 地理的地域 and 植物

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