Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ListFn__7Fn__0En1Ra2Re3Ra4In5Re6En7ReFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ShootingSport Sport) | Sports.kif 200-200 | Shooting sport is a subclass of sport |
| (documentation ShootingSport EnglishLanguage "A competitive Sport involving tests of proficiency (accuracy and speed) Shooting various types of guns such as firearms.") | Sports.kif 201-201 | Shooting sport is a subclass of sport |
| appearance as argument number 2 |
|
|
| (subclass SkeetShooting ShootingSport) | Sports.kif 1221-1221 | Skeet shooting is a subclass of shooting sport |
| (termFormat EnglishLanguage ShootingSport "shooting sport") | domainEnglishFormat.kif 65492-65492 | Skeet shooting is a subclass of shooting sport |
| antecedent |
|
|
| (=> (instance ?SS ShootingSport) (exists (?S) (and (instance ?S Shooting) (subProcess ?S ?SS)))) |
Sports.kif 203-208 | If X is an instance of shooting sport, then there exists Y such that Y is an instance of shooting and Y is a subprocess of X |
| consequent |
|
|
| (=> (attribute ?ATHLETE MarksmanProfessional) (hasSkill ShootingSport ?ATHLETE)) |
Sports.kif 440-442 | If marksman is an attribute of X, then X has the skill to do shooting sport |
|