Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Soccer(soccer) |  | World_Cup, association_football, soccer |
| appearance as argument number 1 |
|
|
| (subclass Soccer TeamSport) | Sports.kif 168-168 | Soccer is a subclass of team sport |
| (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 169-169 | Soccer is a subclass of team sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Soccer "soccer") | Sports.kif 170-170 | |
| (termFormat ChineseLanguage Soccer "英式足球比赛") | Sports.kif 171-171 | |
| (termFormat ChineseTraditionalLanguage Soccer "英式足球比賽") | Sports.kif 172-172 | |
| (names "European football" Soccer) | Sports.kif 173-173 | Soccer has name "European football" |
| 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 175-187 | If X is an instance of soccer, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of group of people (3) 11 is a member count of Y (4) Z is an instance of group of people (5) 11 is a member count of Z (6) equal Y (7) Z (8) W is a member of Y (9) W is a member of Z (10) W (11) V are enemies of each other |
| (=> (instance ?S Soccer) (exists (?BALL) (and (instance ?BALL SoccerBall) (patient ?S ?BALL)))) |
Sports.kif 189-194 | If X is an instance of soccer, then there exists Y such that Y is an instance of soccer ball and Y is a patient of X |
| consequent |
|
|
| (=> (instance ?BALL SoccerBall) (hasPurpose ?BALL (exists (?S ?K) (and (instance ?S Soccer) (instance ?K Kicking) (subProcess ?K ?S) (patient ?K ?BALL))))) |
Sports.kif 325-333 | If X is an instance of soccer ball, then X has the purpose there exist Y, Z such that Y is an instance of soccer, Z is an instance of kicking, Z is a subprocess of Y, and X is a patient of Z |
| (=> (attribute ?ATHLETE FootballerSoccer) (hasSkill Soccer ?ATHLETE)) |
Sports.kif 424-426 | If footballer is an attribute of X, then X has the skill to do soccer |
|