WindSurfing |
appearance as argument number 1 |
(documentation WindSurfing EnglishLanguage "WindSurfing is a type of &$WaterSport that combines surfing and sailing") | Sports.kif 1300-1301 | |
(subclass WindSurfing WaterSport) | Sports.kif 1299-1299 | WindSurfing 是 WaterSport 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage WindSurfing "wind surfing") | Sports.kif 1302-1302 |
antecedent |
(=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION)))) |
Sports.kif 1304-1315 |
|
consequent |
(=> (instance ?X WindSurfingBoard) (hasPurpose ?X (exists (?SURF) (and (instance ?SURF WindSurfing) (instrument ?SURF ?X))))) |
Sports.kif 1291-1297 |
|