| appearance as argument number 1 |
|
| (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 808-809 | |
| (subclass FootballUS TeamSport) | Sports.kif 807-807 | Foot ball US is a subclass of team sport |
| appearance as argument number 2 |
|
|
| (names "American Football" FootballUS) | Sports.kif 813-813 | Foot ball US has name "American Football" |
| (termFormat ChineseLanguage FootballUS "美式足球赛") | Sports.kif 811-811 | Foot ball US has name "American Football" |
| (termFormat ChineseTraditionalLanguage FootballUS "美式足球赛") | Sports.kif 812-812 | Foot ball US has name "American Football" |
| (termFormat EnglishLanguage FootballUS "foot ball US") | Sports.kif 810-810 | Foot ball US has name "American Football" |
| consequent |
|
|
| (=> (instance ?F Football) (exists (?GAME) (and (instance ?GAME FootballUS) (patient ?GAME ?F)))) |
Sports.kif 333-338 |
|
| (=> (instance ?M FootballManeuver) (exists (?G) (and (instance ?G FootballUS) (subProcess ?M ?G)))) |
Sports.kif 817-822 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners