![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NorthwesternPacificOcean(Northwestern Pacific Ocean) |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Northwestern Pacific Ocean" NorthwesternPacificOcean) | Geography.kif 6142-6142 | Northwestern Pacific Ocean has name "Northwestern Pacific Ocean" |
| (names "Northwestern Pacific" NorthwesternPacificOcean) | Geography.kif 6143-6143 | Northwestern Pacific Ocean has name "Northwestern Pacific" |
| (termFormat EnglishLanguage NorthwesternPacificOcean "Northwestern Pacific Ocean") | domainEnglishFormat.kif 65250-65250 | Northwestern Pacific Ocean has name "Northwestern Pacific" |
| consequent |
|
|
| (=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NorthwesternPacificOcean) (equal ?SEA NorthAtlanticOcean))) |
Weather.kif 1178-1188 | If X is an instance of hurricane, X is located at Y, Y is an instance of geographic area, and Y is located at Z or Y meets Z, then equal Z and Northwestern Pacific Ocean or equal Z and north atlantic ocean |