Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
FootballTouchdown(football touchdown)
|  | touchdown |
| appearance as argument number 1 |
|
|
| (subclass FootballTouchdown FootballManeuver) | Sports.kif 872-872 | Football touchdown is a subclass of football maneuver |
| (subclass FootballTouchdown Score) | Sports.kif 873-873 | Football touchdown is a subclass of score |
| (documentation FootballTouchdown EnglishLanguage "Any FootballManeuver which is also a Score, i.e. any play in a FootballUS game which results in one team being in possession of the ball on the inside of the opponent's goal line.") | Sports.kif 874-876 | Football touchdown is a subclass of score |
| (externalImage FootballTouchdown "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ College_football_-_Selvin_Young_of_the_Texas_Longhorns_scores_a_touchdown_vs_Rice_Owls_-_2006-09-16.jpg") | pictureList.kif 6024-6024 | Football touchdown is a subclass of score |
| (externalImage FootballTouchdown "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 45/ 08OB_Kansas_touchdown.jpg") | pictureList.kif 6544-6544 | Football touchdown is a subclass of score |
| appearance as argument number 2 |
|
|
|