| appearance as argument number 1 |
|
|
| (documentation Alga ChineseLanguage "这主要是含有叶绿素的水生植物，它们不会在发育过程中制造胚胎，也 没有血管组织。") | chinese_format.kif 3384-3385 | |
| (documentation Alga EnglishLanguage "A chiefly aquatic plant that contains chlorophyll, but does not form embryos during development and lacks vascular tissue.") | Merge.kif 14461-14462 | |
| (externalImage Alga "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 7d/ Laurencia.jpg/ 747px-Laurencia.jpg") | pictureList.kif 26-26 | |
| (subclass Alga NonFloweringPlant) | Merge.kif 14460-14460 | Alga is a subclass of non flowering plant |
| appearance as argument number 2 |
|
|
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) | Merge.kif 14456-14456 | Non flowering plant is disjointly decomposed into alga, fern, and moss |
| (subclass Seaweed Alga) | Food.kif 3385-3385 | Seaweed is a subclass of alga |
| (termFormat ChineseLanguage Alga "藻类") | chinese_format.kif 968-968 | Seaweed is a subclass of alga |
| (termFormat EnglishLanguage Alga "alga") | english_format.kif 1143-1143 | Seaweed is a subclass of alga |
| (termFormat FrenchLanguage Alga "algue") | french_format.kif 645-645 | Seaweed is a subclass of alga |
| (termFormat Hindi Alga "shEvaala") | terms-hindi.txt 176-176 | Seaweed is a subclass of alga |
| (termFormat ItalianLanguage Alga "Alga") | terms-it.txt 179-179 | Seaweed is a subclass of alga |
| (termFormat JapaneseLanguage Alga "藻") | japanese_format.kif 2329-2329 | Seaweed is a subclass of alga |
| (termFormat PortugueseLanguage Alga "Alga") | portuguese_format.kif 597-597 | Seaweed is a subclass of alga |
| (termFormat cz Alga "alga") | terms-cz.txt 213-213 | Seaweed is a subclass of alga |
| (termFormat ro Alga "algã") | relations-ro.kif 666-666 | Seaweed is a subclass of alga |
| (termFormat tg Alga "Damong dagat") | terms-tg.txt 180-180 | Seaweed is a subclass of alga |
| antecedent |
|
|
| (=> (instance ?ALGA Alga) (exists (?WATER) (and (inhabits ?ALGA ?WATER) (instance ?WATER Water)))) |
Merge.kif 14464-14469 |
|
| consequent |
|
|
| (=> (instance ?LICH Lichen) (exists (?ALGA) (and (instance ?ALGA Alga) (part ?ALGA ?LICH)))) |
Geography.kif 6327-6332 |
|
|
|
|