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 Sea SaltWaterArea) | Geography.kif 6299-6299 | Sea is a subclass of salt water area |
| (subclass Sea BodyOfWater) | Geography.kif 6300-6300 | Sea is a subclass of body of water |
| (documentation Sea EnglishLanguage "Sea is the class of smaller subdivisions of the WorldOcean, typically partially surrounded by land. However, for inland salt water bodies that are sometimes called 'Sea', see SaltLake.") | Geography.kif 6302-6305 | Sea is a subclass of body of water |
| appearance as argument number 2 |
|
|
| (instance MediterraneanSea Sea) | Geography.kif 6340-6340 | Mediterranean sea is an instance of sea |
| (instance CaribbeanSea Sea) | Geography.kif 6355-6355 | Caribbean sea is an instance of sea |
| (instance BlackSea Sea) | Geography.kif 6356-6356 | Black sea is an instance of sea |
| (instance RedSea Sea) | Geography.kif 6357-6357 | Red sea is an instance of sea |
| (instance BeringSea Sea) | Geography.kif 6363-6363 | Bering sea is an instance of sea |
| (instance BalticSea Sea) | Geography.kif 6364-6364 | Baltic sea is an instance of sea |
| (instance ArabianSea Sea) | Geography.kif 6365-6365 | Arabian sea is an instance of sea |
| (instance NorthSea Sea) | Geography.kif 6366-6366 | North sea is an instance of sea |
| (termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51634-51634 | North sea is an instance of sea |
| (termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51635-51635 | North sea is an instance of sea |
| (termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51636-51636 | North sea is an instance of sea |
| antecedent |
|
|
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 6307-6312 | If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 meter(s) |
| (=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 6314-6319 | If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 foot length(s) |
| (=> (instance ?SEA Sea) (properPart ?SEA WorldOcean)) |
Geography.kif 6321-6323 | If X is an instance of sea, then X is a proper part of world ocean |
| (=> (instance ?SEA Sea) (exists (?OCEAN ?PATH) (and (instance ?OCEAN Ocean) (instance ?PATH WaterArea) (connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 6325-6331 | If X is an instance of sea, then there exist Y, Z such that Y is an instance of ocean, Z is an instance of water area, Z connects Y, and X |
| (=> (instance ?SEA Sea) (exists (?LAND) (and (instance ?LAND LandArea) (meetsSpatially ?LAND ?SEA)))) |
Geography.kif 6333-6338 | If X is an instance of sea, then there exists Y such that Y is an instance of land area and Y meets X |
| consequent |
|
|
| (=> (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 ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 841-850 | If X is an instance of port city, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y |
| (=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 873-882 | If X is an instance of sea port, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y |
|
