Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HalfMarathon(half_marathon) |
| appearance as argument number 1 |
|
| (subclass HalfMarathon RunningARace) | Sports.kif 302-302 | Half_marathon is a subclass of running a race |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HalfMarathon "half_marathon") | Sports.kif 305-305 |
| antecedent |
|
|
| (=> (and (instance ?M HalfMarathon) (agent ?M ?H) (path ?M ?P) (distanceOnPath (MeasureFn ?N Mile) ?P)) (equal ?N 13.1)) |
Sports.kif 307-314 | If X is an instance of half_marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 13.1 |
|