Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Bay

 Sigma KEE - Bay
Bay(bay)
Abukir, Abukir_Bay, Baffin_Bay, Bay_of_Bengal, Bay_of_Biscay, Bay_of_Fundy, Bay_of_Naples, Bight_of_Benin, Biscayne_Bay, Buzzards_Bay, Cape_Cod_Bay, Chesapeake_Bay, Delaware_Bay, Galveston_Bay, Galway_Bay, Great_Australian_Bight, Guantanamo_Bay, Hangzhou_Bay, James_Bay, Korea_Bay, Massachusetts_Bay, Minamata_Bay, Mobile_Bay, Monterey_Bay, Moreton_Bay, Narragansett_Bay, New_York_Bay, Osaka_Bay, Penobscot_Bay, Prudhoe_Bay, San_Diego_Bay, San_Francisco_Bay, Tampa_Bay, bay, bight, embayment

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


(subclass Bay Inlet) Geography.kif 6852-6852 Bay is a subclass of inlet
(documentation Bay EnglishLanguage "Bay is the class of extensions of a body of water (salt or fresh) that reach into the land, usually smaller than a Gulf.") Geography.kif 6854-6856 Bay is a subclass of inlet
(externalImage Bay "http://upload.wikimedia.org/wikipedia/commons/d/d5/Hel_peninsula_landsat.jpg") pictureList.kif 4542-4542 Bay is a subclass of inlet

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


(termFormat EnglishLanguage Bay "bay") domainEnglishFormat.kif 10246-10246
(termFormat ChineseTraditionalLanguage Bay "灣") domainEnglishFormat.kif 10247-10247
(termFormat ChineseLanguage Bay "湾") domainEnglishFormat.kif 10248-10248

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


(=>
    (and
        (instance ?GULF Gulf)
        (instance ?BAY Bay))
    (larger ?GULF ?BAY))		 Geography.kif 6701-6705 If X is an instance of gulf and Y is an instance of bay, then X is larger than Y
(=>
    (and
        (instance ?COVE Cove)
        (instance ?BAY Bay))
    (larger ?BAY ?COVE))		 Geography.kif 6863-6867 If X is an instance of cove and Y is an instance of bay, then Y is larger than X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners