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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alga
Alga(algue)

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 14415-14416
(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 14414-14414 Algue est une sous-classe de plante non florissante

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


(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14410-14410 Plante non florissante est disjointement decompos� en algue, foug�re, + mousse
(subclass Seaweed Alga) Food.kif 3385-3385 Seaweed est une sous-classe de algue
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968
(termFormat EnglishLanguage Alga "alga") english_format.kif 1143-1143
(termFormat FrenchLanguage Alga "algue") french_format.kif 645-645
(termFormat Hindi Alga "shEvaala") terms-hindi.txt 176-176
(termFormat ItalianLanguage Alga "Alga") terms-it.txt 179-179
(termFormat JapaneseLanguage Alga "藻") japanese_format.kif 2329-2329
(termFormat PortugueseLanguage Alga "Alga") portuguese_format.kif 597-597
(termFormat cz Alga "alga") terms-cz.txt 213-213
(termFormat ro Alga "algã") relations-ro.kif 666-666
(termFormat tg Alga "Damong dagat") terms-tg.txt 180-180

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


(=>
    (instance ?ALGA Alga)
    (exists (?WATER)
        (and
            (inhabits ?ALGA ?WATER)
            (instance ?WATER Water))))
Merge.kif 14418-14423

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


(=>
    (instance ?LICH Lichen)
    (exists (?ALGA)
        (and
            (instance ?ALGA Alga)
            (part ?ALGA ?LICH))))
Geography.kif 6327-6332


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