![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NortheasternPacificOcean(Northeastern Pacific ocean) |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "Northeastern Pacific Ocean" NortheasternPacificOcean) | Geography.kif 6129-6129 | Northeastern Pacific ocean has name "Northeastern Pacific Ocean" |
| (names "Northeastern Pacific" NortheasternPacificOcean) | Geography.kif 6130-6130 | Northeastern Pacific ocean has name "Northeastern Pacific" |
| (termFormat EnglishLanguage NortheasternPacificOcean "Northeastern Pacific ocean") | domainEnglishFormat.kif 65247-65247 | Northeastern Pacific ocean has name "Northeastern Pacific" |
| consequent |
|
|
| (=> (and (instance ?T Typhoon) (eventLocated ?T ?P) (instance ?P GeographicArea)) (or (located ?P NortheasternPacificOcean) (meetsSpatially ?P NortheasternPacificOcean))) |
Weather.kif 1212-1219 | If X is an instance of typhoon, X is located at Y, and Y is an instance of geographic area, then Y is located at Northeastern Pacific ocean or Y meets Northeastern Pacific ocean |