|
|
   LightningStrike
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LightningStrike Lightning) | Weather.kif 1442-1442 | Lightning strike is a subclass of lightning |
| (documentation LightningStrike EnglishLanguage "LightningStrike is a lightning discharge between a thundercloud and the ground.[Wikipedia]") | Weather.kif 1443-1444 | Lightning strike is a subclass of lightning |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LightningStrike "lightning strike") | Weather.kif 1445-1445 |
| antecedent |
|
|
| (=> (and (instance ?L LightningStrike) (instance ?A WaterCloud) (origin ?L ?A) (destination ?L ?G)) (instance ?G GeographicArea)) |
Weather.kif 1447-1453 | If X is an instance of lightning strike, Y is an instance of water cloud, X originates at Y, and X ends up at Z, then Z is an instance of geographic area |
|