| Soccer(英式足球比賽) | |
| appearance as argument number 1 |
|
|
| (documentation Soccer EnglishLanguage "Soccer is a football game in which two teams of 11 players try to kick or head a SoccerBall into the opponents' goal.") | Sports.kif 157-157 | |
| (subclass Soccer TeamSport) | Sports.kif 156-156 | 子類 英式足球比賽 and 團隊運動 |
| appearance as argument number 2 |
|
|
| (names "European football" Soccer) | Sports.kif 161-161 | 名 "European football" and 英式足球比賽 |
| (termFormat ChineseLanguage Soccer "英式足球比赛") | Sports.kif 159-159 | |
| (termFormat ChineseTraditionalLanguage Soccer "英式足球比賽") | Sports.kif 160-160 | |
| (termFormat EnglishLanguage Soccer "soccer") | Sports.kif 158-158 |
| antecedent |
|
|
| (=> (instance ?S Soccer) (exists (?A ?B ?M1 ?M2) (and (instance ?A GroupOfPeople) (memberCount ?A 11) (instance ?B GroupOfPeople) (memberCount ?B 11) (not (equal ?A ?B)) (member ?M1 ?A) (member ?M1 ?B) (enemy ?M1 ?M2)))) |
Sports.kif 163-175 |
|
| (=> (instance ?S Soccer) (exists (?BALL) (and (instance ?BALL SoccerBall) (patient ?S ?BALL)))) |
Sports.kif 177-182 |
| consequent |
|
|
| (=> (attribute ?ATHLETE FootballerSoccer) (hasSkill Soccer ?ATHLETE)) |
Sports.kif 412-414 | |
| (=> (instance ?BALL SoccerBall) (hasPurpose ?BALL (exists (?S ?K) (and (instance ?S Soccer) (instance ?K Kicking) (subProcess ?K ?S) (patient ?K ?BALL))))) |
Sports.kif 313-321 |
|
|
|