| appearance as argument number 1 |
|
|
| (documentation Gulf EnglishLanguage "Gulf is the class of extensions of a Sea or Ocean that reach into a land mass or are partially enclosed by a LandArea. A Gulf is typically larger than a Bay.") | Geography.kif 5195-5197 | |
| (externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") | pictureList.kif 859-859 | |
| (subclass Gulf BodyOfWater) | Geography.kif 5192-5192 | Gulf is a subclass of body of water |
| (subclass Gulf SaltWaterArea) | Geography.kif 5193-5193 | Gulf is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance GulfOfAden Gulf) | Geography.kif 5235-5235 | Gulf of aden is an instance of gulf |
| (instance GulfOfMexico Gulf) | Geography.kif 5243-5243 | Gulf of mexico is an instance of gulf |
| (instance GulfOfOman Gulf) | Geography.kif 5227-5227 | Gulf of oman is an instance of gulf |
| (instance PersianGulf Gulf) | Geography.kif 5221-5221 | Persian gulf is an instance of gulf |
| (termFormat ChineseLanguage Gulf "海湾") | domainEnglishFormat.kif 27064-27064 | Persian gulf is an instance of gulf |
| (termFormat ChineseTraditionalLanguage Gulf "海灣") | domainEnglishFormat.kif 27063-27063 | Persian gulf is an instance of gulf |
| (termFormat EnglishLanguage Gulf "gulf") | domainEnglishFormat.kif 27062-27062 | Persian gulf is an instance of gulf |
| antecedent |
|
|
| (=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5215-5219 |
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5199-5206 |
|
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 5208-5213 |
|
|
|
|