Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Gulf BodyOfWater) | Geography.kif 6678-6678 | Gulf is a subclass of body of water |
| (subclass Gulf SaltWaterArea) | Geography.kif 6679-6679 | Gulf is a subclass of salt water area |
| (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 6681-6683 | Gulf is a subclass of salt water area |
| (externalImage Gulf "http://upload.wikimedia.org/wikipedia/commons/9/92/ GulfofMexico3D.png") | pictureList.kif 859-859 | Gulf is a subclass of salt water area |
| appearance as argument number 2 |
|
|
| (instance PersianGulf Gulf) | Geography.kif 6707-6707 | Persian gulf is an instance of gulf |
| (instance GulfOfOman Gulf) | Geography.kif 6713-6713 | Gulf of oman is an instance of gulf |
| (instance GulfOfAden Gulf) | Geography.kif 6721-6721 | Gulf of aden is an instance of gulf |
| (instance GulfOfMexico Gulf) | Geography.kif 6729-6729 | Gulf of mexico is an instance of gulf |
| (instance GulfOfGuinea Gulf) | Geography.kif 6735-6735 | Gulf Of Guinea is an instance of gulf |
| (instance GulfOfLion Gulf) | Geography.kif 6743-6743 | Gulf Of Lion is an instance of gulf |
| (termFormat EnglishLanguage Gulf "gulf") | domainEnglishFormat.kif 27038-27038 | Gulf Of Lion is an instance of gulf |
| (termFormat ChineseTraditionalLanguage Gulf "海灣") | domainEnglishFormat.kif 27039-27039 | Gulf Of Lion is an instance of gulf |
| (termFormat ChineseLanguage Gulf "海湾") | domainEnglishFormat.kif 27040-27040 | Gulf Of Lion is an instance of gulf |
| antecedent |
|
|
| (=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 6685-6692 | If X is an instance of gulf, then there exists Y such that Y is an instance of sea or Y is an instance of ocean and X is connected to Y |
| (=> (instance ?GULF Gulf) (exists (?WATER) (and (instance ?WATER SaltWaterArea) (properPart ?GULF ?WATER)))) |
Geography.kif 6694-6699 | If X is an instance of gulf, then there exists Y such that Y is an instance of salt water area and X is a proper part of Y |
| (=> (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 |
|
