Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SoccerBall(soccer ball) |  | soccer_ball |
| appearance as argument number 1 |
|
|
| (documentation SoccerBall EnglishLanguage "A SoccerBall is the Ball used in the Sport of Soccer.") | Sports.kif 318-318 | |
| (subclass SoccerBall Ball) | Sports.kif 323-323 | Soccer ball is a subclass of ball |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SoccerBall "soccer ball") | Sports.kif 319-319 | |
| (termFormat ChineseLanguage SoccerBall "英式足球") | Sports.kif 320-320 | |
| (termFormat ChineseTraditionalLanguage SoccerBall "英式足球") | Sports.kif 321-321 |
| antecedent |
|
|
| (=> (instance ?BALL SoccerBall) (hasPurpose ?BALL (exists (?S ?K) (and (instance ?S Soccer) (instance ?K Kicking) (subProcess ?K ?S) (patient ?K ?BALL))))) |
Sports.kif 325-333 | If X is an instance of soccer ball, then X has the purpose there exist Y, Z such that Y is an instance of soccer, Z is an instance of kicking, Z is a subprocess of Y, and X is a patient of Z |
| consequent |
|
|
| (=> (instance ?S Soccer) (exists (?BALL) (and (instance ?BALL SoccerBall) (patient ?S ?BALL)))) |
Sports.kif 189-194 | If X is an instance of soccer, then there exists Y such that Y is an instance of soccer ball and Y is a patient of X |
|