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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alga

Sigma KEE - Alga
Alga

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

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


(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14456-14456
(subclass Seaweed Alga) Food.kif 3385-3385
(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 14464-14469

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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