Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SkeetShooting(skeet shooting) |  | skeet, skeet_shooting, trapshooting |
| appearance as argument number 1 |
|
|
| (subclass SkeetShooting ShootingSport) | Sports.kif 1221-1221 | Skeet shooting is a subclass of shooting sport |
| (documentation SkeetShooting EnglishLanguage "SkeetShooting is a type of Sport that involves Shooting clay pigeons that are hurled upward in such a way as to simulate the flight of a bird") | Sports.kif 1222-1224 | Skeet shooting is a subclass of shooting sport |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SkeetShooting "skeet shooting") | Sports.kif 1225-1225 |
| antecedent |
|
|
| (=> (instance ?SKEET SkeetShooting) (exists (?SHOOTING) (and (instance ?SHOOTING Shooting) (subProcess ?SHOOTING ?SKEET)))) |
Sports.kif 1227-1232 | If X is an instance of skeet shooting, then there exists Y such that Y is an instance of shooting and Y is a subprocess of X |
|