Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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