Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Stopping(stopping) |
| appearance as argument number 1 |
|
| (subclass Stopping Decelerating) | Mid-level-ontology.kif 34771-34771 | Stopping is a subclass of decelerating |
| (documentation Stopping EnglishLanguage "Decreasing the speed with which someone or something is moving to 0.") | Mid-level-ontology.kif 34772-34773 | Stopping is a subclass of decelerating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Stopping "stopping") | Mid-level-ontology.kif 34774-34774 |
| antecedent |
|
|
| (=> (and (instance ?STOP Stopping) (objectTransferred ?STOP ?O)) (holdsDuring (EndFn ?STOP) (measure ?O (MeasureFn 0.0 MilesPerHour)))) |
Mid-level-ontology.kif 34776-34781 | If X is an instance of stopping and the object transferred in X is Y, then the measure of Y is 0.0 miles per hour(s) holds during the end of X |
| (=> (and (instance ?STOP Stopping) (objectTransferred ?STOP ?O) (holdsDuring (BeginFn ?STOP) (measure ?O (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 0.0)) |
Mid-level-ontology.kif 34783-34789 | If X is an instance of stopping, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the beginning of X, then Z is greater than 0.0 |
|