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 6242-6243
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/5/54/ Part_of_Great_Barrier_Reef_from_Helecopter.JPG") pictureList-ImageNet.kif 622-622
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Whitetip_reef_shark.JPG") pictureList-ImageNet.kif 698-698
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ GreatBarrierReef_EO.JPG/ 350px_GreatBarrierReef_EO.JPG") pictureList-ImageNet.kif 695-695
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ Healthy_corals.jpg/ 231px_Healthy_corals.jpg") pictureList-ImageNet.kif 697-697
(externalImage Reef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ EilatFringingReef.jpg/ 380px_EilatFringingReef.jpg") pictureList-ImageNet.kif 696-696
(subclass Reef LandForm) Geography.kif 6240-6240 Reef is a subclass of land form

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


(subclass CoralReef Reef) Geography.kif 6283-6283 Coral reef is a subclass of reef
(termFormat ChineseLanguage Reef "礁") domainEnglishFormat.kif 49092-49092 Coral reef is a subclass of reef
(termFormat ChineseTraditionalLanguage Reef "礁") domainEnglishFormat.kif 49091-49091 Coral reef is a subclass of reef
(termFormat EnglishLanguage Reef "reef") domainEnglishFormat.kif 49090-49090 Coral reef is a subclass of reef

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


(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 6262-6266
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 6252-6260
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 6245-6250


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