Football(足球) |
appearance as argument number 1 |
(documentation Football EnglishLanguage "It is GamePiece used in the Game of FootballUS. It is ConvexRoundShape.") | Sports.kif 328-328 | |
(externalImage Football "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ football/ football.png") | pictureList.kif 442-442 | |
(subclass Football GamePiece) | Sports.kif 344-344 | 子類 足球 and 遊戲片 |
appearance as argument number 2 |
(termFormat ChineseLanguage Football "美式足球") | Sports.kif 330-330 | |
(termFormat ChineseLanguage Football "足球") | domainEnglishFormat.kif 24584-24584 | |
(termFormat ChineseTraditionalLanguage Football "美式足球") | Sports.kif 331-331 | |
(termFormat ChineseTraditionalLanguage Football "足球") | domainEnglishFormat.kif 24583-24583 | |
(termFormat EnglishLanguage Football "foot ball") | domainEnglishFormat.kif 24582-24582 | |
(termFormat EnglishLanguage Football "football") | Sports.kif 329-329 |
antecedent |
(=> (instance ?F Football) (exists (?GAME) (and (instance ?GAME FootballUS) (patient ?GAME ?F)))) |
Sports.kif 333-338 | |
(=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 340-342 |
consequent |
(=> (attribute ?ATHLETE FootballerUS) (hasSkill Football ?ATHLETE)) |
Sports.kif 408-410 | |
(=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2))))) |
Sports.kif 828-841 |
|