Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SportsTeam
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SportsTeam GroupOfPeople) | Mid-level-ontology.kif 8845-8845 | Sports team is a subclass of group of people |
| (documentation SportsTeam EnglishLanguage "A GroupOfPeople who habitually play a Sport together, either as an occupation or as a leisure activity.") | Mid-level-ontology.kif 8846-8847 | Sports team is a subclass of group of people |
| (externalImage SportsTeam "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Thai_national_football_team_squad_Asian_Games_2006.jpg") | pictureList.kif 1501-1501 | Sports team is a subclass of group of people |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TEAM SportsTeam) (exists (?SPORT) (and (subclass ?SPORT Sport) (capability ?SPORT agent ?TEAM)))) |
Mid-level-ontology.kif 8849-8854 | If X is an instance of sports team, then there exists Y such that Y is a subclass of sport and X is capable of doing Y as a agent |
| consequent |
|
|
| (=> (and (instance ?L SportsLeague) (member ?M ?L)) (instance ?M SportsTeam)) |
Mid-level-ontology.kif 8339-8343 | If X is an instance of sports league and Y is a member of X, then Y is an instance of sports team |
| (=> (instance ?S TeamSport) (exists (?T1 ?T2) (and (contestParticipant ?S ?T1) (contestParticipant ?S ?T2) (instance ?T1 SportsTeam) (instance ?T2 SportsTeam) (not (equal ?T1 ?T2))))) |
Mid-level-ontology.kif 8860-8868 | If X is an instance of team sport, then All of the following hold: (1) there exist Y (2) Z such that Y participates in X (3) Z participates in X (4) Y is an instance of sports team (5) Z is an instance of sports team (6) equal Y (7) Z |
| (=> (and (occupiesPosition ?H ?P ?O) (instance ?P SportsPosition)) (instance ?O SportsTeam)) |
Mid-level-ontology.kif 20870-20874 | If X holds the position of Y in Z and Y is an instance of sports position, then Z is an instance of sports team |
| (=> (instance ?PASS FootballPass) (exists (?THROW ?B ?TEAM ?M1 ?M2) (and (subProcess ?THROW ?PASS) (instance ?THROW Throwing) (agent ?THROW ?M1) (destination ?THROW ?M2) (patient ?THROW ?B) (instance ?B Football) (instance ?TEAM SportsTeam) (member ?M1 ?TEAM) (member ?M2 ?TEAM) (not (equal ?M1 ?M2))))) |
Sports.kif 854-867 | If X is an instance of football pass, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is a subprocess of X (3) Y is an instance of throwing (4) V is an agent of Y (5) Y ends up at U (6) Z is a patient of Y (7) Z is an instance of foot ball (8) W is an instance of sports team (9) V is a member of W (10) U is a member of W (11) equal V (12) U |
|
