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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coral

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 5967-5978
(externalImage Coral "http://articulatesoftware.com/SUMOpictures/animals/ aquatic/ Coral_12.png") pictureList.kif 367-367
(subclass Coral Invertebrate) Geography.kif 5965-5965

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


(termFormat ChineseLanguage Coral "珊瑚") domainEnglishFormat.kif 17316-17316
(termFormat ChineseTraditionalLanguage Coral "珊瑚") domainEnglishFormat.kif 17315-17315
(termFormat EnglishLanguage Coral "coral") domainEnglishFormat.kif 17314-17314

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


(=>
    (instance ?REEF CoralReef)
    (exists (?CORAL)
        (and
            (instance ?CORAL Coral)
            (part ?CORAL ?REEF))))
Geography.kif 5986-5991
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5949-5957


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