|
|
   CloudToCloudLightning
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CloudToCloudLightning Lightning) | Weather.kif 1427-1427 | Cloud to cloud lightning is a subclass of lightning |
| (documentation CloudToCloudLightning EnglishLanguage "CloudToCloudLightning occurs between two separate clouds.[Wikipedia]") | Weather.kif 1428-1429 | Cloud to cloud lightning is a subclass of lightning |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage CloudToCloudLightning "cloud to cloud lightning") | Weather.kif 1430-1430 |
| antecedent |
|
|
| (=> (and (instance ?L CloudToCloudLightning) (instance ?A WaterCloud) (origin ?L ?A) (destination ?L ?B) (instance ?B WaterCloud)) (not (equal ?A ?B))) |
Weather.kif 1432-1440 | If X is an instance of cloud to cloud lightning, Y is an instance of water cloud, X originates at Y, X ends up at Z, and Z is an instance of water cloud, then equal Y and Z |
|