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

Formal Language: 



KB Term:  Term intersection
English Word: 

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5261-5263
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4543-4543
No TPTP formula. May not be expressible in strict first order. Geography.kif 5259-5259 Bay is a subclass of inlet

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10248-10248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10247-10247
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10246-10246

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5270-5274
No TPTP formula. May not be expressible in strict first order. Geography.kif 5145-5149


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