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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoralReef
CoralReef

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


(documentation CoralReef EnglishLanguage "CoralReef is the subclass of Reefs that are formed from living organisms that produce the limestone formations of the reef. Coral reefs include fringing reefs, barrier reefs, and Atolls.") Geography.kif 5763-5765
(externalImage CoralReef "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Coral_reef_diagram.jpg") pictureList.kif 927-927
(subclass CoralReef Reef) Geography.kif 5761-5761

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


(subclass Atoll CoralReef) Geography.kif 5775-5775
(termFormat ChineseLanguage CoralReef "珊瑚礁") domainEnglishFormat.kif 17313-17313
(termFormat ChineseTraditionalLanguage CoralReef "珊瑚礁") domainEnglishFormat.kif 17312-17312
(termFormat EnglishLanguage CoralReef "coral reef") domainEnglishFormat.kif 17311-17311

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


(=>
    (instance ?REEF CoralReef)
    (exists (?CORAL)
        (and
            (instance ?CORAL Coral)
            (part ?CORAL ?REEF))))
Geography.kif 5767-5772


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