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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alga
Alga(alga)
Ascophyllum, Ascophyllum_nodosum, Bacillariophyceae, Bangiaceae, Chara, Characeae, Charales, Charophyceae, Chlamydomonadaceae, Chlamydomonas, Chlorococcales, Chlorococcum, Chlorophyceae, Chlorophyta, Chondrus, Chondrus_crispus, Chrysophyceae, Chrysophyta, Cryptophyceae, Cryptophyta, Cyclosporeae, Desmidiaceae, Desmidium, Diatomophyceae, Euglenaceae, Euglenophyceae, Euglenophyta, Fucaceae, Fucales, Fucus_serratus, Fucus_vesiculosus, Gigartinaceae, Heterokontae, Heterokontophyta, Heterotrichales, Irish_moss, Laminaria, Laminariaceae, Laminariales, Nitella, Oedogoniaceae, Oedogoniales, Oedogonium, Phaeophyceae, Phaeophyta, Phytomastigina, Porphyra, Rhodophyceae, Rhodophyta, Rhodymenia...

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 13380-13381
(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 13379-13379 Alga is a subclass of non flowering plant

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


(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 13375-13375 Non flowering plant is disjointly decomposed into alga, fern, and moss
(subclass Seaweed Alga) Food.kif 827-827 Seaweed is a subclass of alga
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968
(termFormat EnglishLanguage Alga "alga") english_format.kif 1148-1148

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


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

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


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


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