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
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 5526-5527
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 623-623 "http://upload.wikimedia.org/wikipedia/commons/5/54/ Part_of_Great_Barrier_Reef_from_Helecopter.JPG" is a URL depicting reef
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 699-699 "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Whitetip_reef_shark.JPG" is a URL depicting reef
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 696-696 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ GreatBarrierReef-EO.JPG/ 350px-GreatBarrierReef-EO.JPG" is a URL depicting reef
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 698-698 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1b/ Healthy_corals.jpg/ 231px-Healthy_corals.jpg" is a URL depicting reef
No TPTP formula. May not be expressible in strict first order. pictureList-ImageNet.kif 697-697 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 96/ EilatFringingReef.jpg/ 380px-EilatFringingReef.jpg" is a URL depicting reef
No TPTP formula. May not be expressible in strict first order. Geography.kif 5524-5524 Reef is a subclass of land form
No TPTP formula. May not be expressible in strict first order. Weather.kif 888-888 Reef is a subclass of maritime hazard

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5561 Coral reef is a subclass of reef
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49027-49027 "礁" is the printable form of reef in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49026-49026 "礁" is the printable form of reef in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49025-49025 "reef" is the printable form of reef in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5536-5544
No TPTP formula. May not be expressible in strict first order. Geography.kif 5529-5534


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