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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Coral
Coral

appearance as argument number 1
-------------------------


(documentation Coral EnglishLanguage "Corals are gastrovascular marine cnidarians (phylum Cnidaria, class Anthozoa) existing as small anemone-like polyps, typically forming colonies of many individuals. The group includes the important reef builders known as hermatypic corals, found in tropical oceans, and belonging to the subclass Zoantharia of order Scleractinia (formerly Madreporaria). The hermatypic corals obtain much of their nutrient requirement from symbiotic unicellular algae called zooxanthellae, and so are dependent upon growing in sunlight. As a result, these corals are usually found not far beneath the surface, although in clear waters corals can grow at depths of 60 m (200 ft). Corals breed by spawning, with all corals of the same species in a region releasing gametes simultaneously over a period of one to several nights around a full moon. (from Wikipedia)") Geography.kif 5748-5759
(externalImage Coral "http://www.adampease.org/Articulate/SUMOpictures/pictures/ animals/ aquatic/ Coral_12.png") pictureList.kif 367-367
(subclass Coral Invertebrate) Geography.kif 5746-5746

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


(termFormat ChineseLanguage Coral "珊瑚") domainEnglishFormat.kif 17307-17307
(termFormat ChineseTraditionalLanguage Coral "珊瑚") domainEnglishFormat.kif 17306-17306
(termFormat EnglishLanguage Coral "coral") domainEnglishFormat.kif 17305-17305

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


(=>
    (instance ?REEF CoralReef)
    (exists (?CORAL)
        (and
            (instance ?CORAL Coral)
            (part ?CORAL ?REEF))))
Geography.kif 5767-5772
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5731-5739


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