| 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 6302-6303 | |
| (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 6300-6300 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lichen "青苔") | domainEnglishFormat.kif 34313-34313 | |
| (termFormat ChineseTraditionalLanguage Lichen "青苔") | domainEnglishFormat.kif 34312-34312 | |
| (termFormat EnglishLanguage Lichen "lichen") | domainEnglishFormat.kif 34311-34311 |
| antecedent |
|
|
| (=> (instance ?LICH Lichen) (exists (?ALGA) (and (instance ?ALGA Alga) (part ?ALGA ?LICH)))) |
Geography.kif 6305-6310 | |
| (=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH)))) |
Geography.kif 6312-6317 |
| consequent |
|
|
| (=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Lichen)) |
Geography.kif 6713-6715 |
|
|
|