Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Weightlifting(weightlifting) |
| appearance as argument number 1 |
|
| (subclass Weightlifting FitnessExercise) | Sports.kif 816-816 | Weightlifting is a subclass of fitness exercise |
| (documentation Weightlifting EnglishLanguage "Lifting weights or using resistance machines in order to build muscle size or strength.") | Sports.kif 817-818 | Weightlifting is a subclass of fitness exercise |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Weightlifting "weightlifting") | domainEnglishFormat.kif 65732-65732 |
| antecedent |
|
|
| (=> (and (instance ?W Weightlifting) (agent ?W ?H)) (modalAttribute (exists (?D) (and (instance ?D AnaerobicExerciseDevice) (instrument ?W ?D))) Likely)) |
Sports.kif 822-831 | If X is an instance of weightlifting and Y is an agent of X, then the statement there exists Z such that Z is an instance of anaerobic exercise device and Z is an instrument for X has the modal force of likely |
| consequent |
|
|
| (=> (and (instance ?BB Bodybuilding) (agent ?BB ?H)) (exists (?W) (and (instance ?W Weightlifting) (agent ?W ?H) (earlier (WhenFn ?W) (WhenFn ?BB))))) |
Sports.kif 804-814 | If X is an instance of bodybuilding and Y is an agent of X, then there exists Z such that Z is an instance of weightlifting, Y is an agent of Z, and the time of existence of Z happens earlier than the time of existence of X |
|