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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Reef
Reef(reef)
more pictures...
barrier_reef, reef

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


(documentation Reef EnglishLanguage "A Reef is a ridge of rock, coral, or sand at or near the surface of a WaterArea.") Geography.kif 5541-5542
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/5/54/ Part_of_Great_Barrier_Reef_from_Helecopter.JPG") pictureList-ImageNet.kif 623-623
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Whitetip_reef_shark.JPG") pictureList-ImageNet.kif 699-699
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ GreatBarrierReef-EO.JPG/ 350px-GreatBarrierReef-EO.JPG") pictureList-ImageNet.kif 696-696
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ Healthy_corals.jpg/ 231px-Healthy_corals.jpg") pictureList-ImageNet.kif 698-698
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ EilatFringingReef.jpg/ 380px-EilatFringingReef.jpg") pictureList-ImageNet.kif 697-697
(subclass Reef LandForm) Geography.kif 5539-5539 Reef is a subclass of land form
(subclass Reef MaritimeHazard) Weather.kif 965-965 Reef is a subclass of maritime hazard

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


(subclass CoralReef Reef) Geography.kif 5576-5576 Coral reef is a subclass of reef
(termFormat ChineseLanguage Reef "礁") domainEnglishFormat.kif 48986-48986
(termFormat ChineseTraditionalLanguage Reef "礁") domainEnglishFormat.kif 48985-48985
(termFormat EnglishLanguage Reef "reef") domainEnglishFormat.kif 48984-48984

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


(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5551-5559
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5544-5549


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners