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 14147-14148
(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 14146-14146

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


(disjointDecomposition NonFloweringPlant Alga Fern Moss) Merge.kif 14142-14142
(subclass Seaweed Alga) Food.kif 812-812
(termFormat ChineseLanguage Alga "藻类") chinese_format.kif 968-968
(termFormat EnglishLanguage Alga "alga") english_format.kif 1143-1143

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


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

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


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


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