Lichen - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lichen

Lichen(lichen)

Alectoria, Cetraria, Cetraria_islandica, Cladonia, Cladonia_rangiferina, Cladoniaceae, Evernia, Iceland_lichen, Iceland_moss, Lecanoraceae, Lechanorales, Parmelia, Parmeliaceae, Pertusaria, Pertusariaceae, Ramalina, Roccella_tinctoria, Roccellaceae, Usnea, Usnea_barbata, Usneaceae, archil, arctic_moss, ascolichen, basidiolichen, beard_lichen, beard_moss, crotal, crottal, crottle, family_Cladoniaceae, family_Lecanoraceae, family_Parmeliaceae, family_Pertusariaceae, family_Roccellaceae, family_Usneaceae, genus_Alectoria, genus_Cetraria, genus_Cladonia, genus_Evernia, genus_Lecanora, genus_Parmelia, genus_Pertusaria, genus_Ramalina, genus_Roccella, genus_Usnea, horsehair_lichen, horsetail_lichen, lecanora, lichen...

appearance as argument number 1

(documentation Lichen EnglishLanguage "Lichen is the class of complex thallyphytic plants made up of Alga and Fungus growing symbiotically.[Wikipedia]")	Geography.kif 6392-6393
(externalImage Lichen "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 39/ Haeckel_Lichenes.jpg/ 430px_Haeckel_Lichenes.jpg")	pictureList.kif 125-125
(subclass Lichen NonFloweringPlant)	Geography.kif 6390-6390	Lichen is a subclass of non flowering plant

appearance as argument number 2

(termFormat ChineseLanguage Lichen "青苔")	domainEnglishFormat.kif 34335-34335
(termFormat ChineseTraditionalLanguage Lichen "青苔")	domainEnglishFormat.kif 34334-34334
(termFormat EnglishLanguage Lichen "lichen")	domainEnglishFormat.kif 34333-34333

antecedent

(=> (instance ?LICH Lichen) (exists (?ALGA) (and (instance ?ALGA Alga) (part ?ALGA ?LICH))))	Geography.kif 6395-6400	If an object is an instance of lichen, then there exists another object such that the other object is an instance of alga and the other object is a part of the object
(=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH))))	Geography.kif 6402-6407	If an object is an instance of lichen, then there exists another object such that the other object is an instance of fungus and the other object is a part of the object

consequent

(=>
(instance ?PLAIN Tundra)
(vegetationType ?PLAIN Lichen))

Geography.kif 6803-6805

If a geographic area is an instance of tundra,
then lichen is found in the geographic area

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 is open source software produced by Articulate Software and its partners