Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FootballUS(foot ball US) |
| appearance as argument number 1 |
|
| (subclass FootballUS TeamSport) | Sports.kif 833-833 | Foot ball US is a subclass of team sport |
| (documentation FootballUS EnglishLanguage "A TeamSport where each team tries to place the ball in the other's goal. Note that each instance of FootballUS is a football game.") | Sports.kif 834-835 | Foot ball US is a subclass of team sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FootballUS "foot ball US") | Sports.kif 836-836 | |
| (termFormat ChineseLanguage FootballUS "美式足球赛") | Sports.kif 837-837 | |
| (termFormat ChineseTraditionalLanguage FootballUS "美式足球赛") | Sports.kif 838-838 | |
| (names "American Football" FootballUS) | Sports.kif 839-839 | Foot ball US has name "American Football" |
| consequent |
|
|
| (=> (instance ?F Football) (exists (?GAME) (and (instance ?GAME FootballUS) (patient ?GAME ?F)))) |
Sports.kif 345-350 | If X is an instance of foot ball, then there exists Y such that Y is an instance of foot ball US and X is a patient of Y |
| (=> (instance ?M FootballManeuver) (exists (?G) (and (instance ?G FootballUS) (subProcess ?M ?G)))) |
Sports.kif 843-848 | If X is an instance of football maneuver, then there exists Y such that Y is an instance of foot ball US and X is a subprocess of Y |
|