Gulf![]() | ![]() |
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 5379-5381 | |
(externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") | pictureList.kif 859-859 | |
(subclass Gulf BodyOfWater) | Geography.kif 5376-5376 | Gulf は BodyOfWater の subclass では |
(subclass Gulf SaltWaterArea) | Geography.kif 5377-5377 | Gulf は 塩水地域 の subclass では |
appearance as argument number 2 |
![]() |
(instance GulfOfAden Gulf) | Geography.kif 5419-5419 | GulfOfAden は Gulf の instance では |
(instance GulfOfGuinea Gulf) | Geography.kif 5433-5433 | GulfOfGuinea は Gulf の instance では |
(instance GulfOfLion Gulf) | Geography.kif 5441-5441 | GulfOfLion は Gulf の instance では |
(instance GulfOfMexico Gulf) | Geography.kif 5427-5427 | GulfOfMexico は Gulf の instance では |
(instance GulfOfOman Gulf) | Geography.kif 5411-5411 | GulfOfOman は Gulf の instance では |
(instance PersianGulf Gulf) | Geography.kif 5405-5405 | PersianGulf は Gulf の instance では |
(termFormat ChineseLanguage Gulf "海湾") | domainEnglishFormat.kif 27047-27047 | PersianGulf は Gulf の instance では |
(termFormat ChineseTraditionalLanguage Gulf "海灣") | domainEnglishFormat.kif 27046-27046 | PersianGulf は Gulf の instance では |
(termFormat EnglishLanguage Gulf "gulf") | domainEnglishFormat.kif 27045-27045 | PersianGulf は Gulf の instance では |
antecedent |
![]() |
(=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5399-5403 | |
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5383-5390 | |
(=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 5392-5397 |
![]() |
![]() |