Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Lichen

 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
-------------------------


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

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


(termFormat EnglishLanguage Lichen "lichen") domainEnglishFormat.kif 34309-34309
(termFormat ChineseTraditionalLanguage Lichen "青苔") domainEnglishFormat.kif 34310-34310
(termFormat ChineseLanguage Lichen "青苔") domainEnglishFormat.kif 34311-34311

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


(=>
    (instance ?LICH Lichen)
    (exists (?ALGA)
        (and
            (instance ?ALGA Alga)
            (part ?ALGA ?LICH))))		 Geography.kif 7952-7957 If X is an instance of lichen, then there exists Y such that Y is an instance of alga and Y is a part of X
(=>
    (instance ?LICH Lichen)
    (exists (?FUNG)
        (and
            (instance ?FUNG Fungus)
            (part ?FUNG ?LICH))))		 Geography.kif 7959-7964 If X is an instance of lichen, then there exists Y such that Y is an instance of fungus and Y is a part of X

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


(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Lichen))		 Geography.kif 8399-8401 If X is an instance of tundra, then lichen is found in X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners