Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lichen
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 6299-6300
(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 6297-6297

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


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

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


(=>
    (instance ?LICH Lichen)
    (exists (?ALGA)
        (and
            (instance ?ALGA Alga)
            (part ?ALGA ?LICH))))
Geography.kif 6302-6307
(=>
    (instance ?LICH Lichen)
    (exists (?FUNG)
        (and
            (instance ?FUNG Fungus)
            (part ?FUNG ?LICH))))
Geography.kif 6309-6314

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


(=>
    (instance ?PLAIN Tundra)
    (vegetationType ?PLAIN Lichen))
Geography.kif 6710-6712


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