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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Reef

Sigma KEE - Reef
Reef
more pictures...

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 5939-5940
(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 5937-5937 Reef est une sous-classe de LandForm

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


(subclass CoralReef Reef) Geography.kif 5980-5980 CoralReef est une sous-classe de Reef
(termFormat ChineseLanguage Reef "礁") domainEnglishFormat.kif 49088-49088
(termFormat ChineseTraditionalLanguage Reef "礁") domainEnglishFormat.kif 49087-49087
(termFormat EnglishLanguage Reef "reef") domainEnglishFormat.kif 49086-49086

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


(=>
    (and
        (instance ?R Reef)
        (instance ?B WaterVehicle))
    (maritimeHazard ?R ?B))
Geography.kif 5959-5963
(=>
    (instance ?Reef Reef)
    (exists (?Stuff)
        (and
            (or
                (instance ?Stuff Sand)
                (instance ?Stuff Rock)
                (instance ?Stuff Coral))
            (part ?Stuff ?Reef))))
Geography.kif 5949-5957
(=>
    (instance ?Reef Reef)
    (exists (?Water)
        (and
            (instance ?Water WaterArea)
            (orientation ?Reef ?Water Near))))
Geography.kif 5942-5947


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