Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Starting(starting) |
| appearance as argument number 1 |
|
| (subclass Starting Accelerating) | Mid-level-ontology.kif 34750-34750 | Starting is a subclass of accelerating |
| (documentation Starting EnglishLanguage "Increasing the speed with which someone or something is moving from 0.") | Mid-level-ontology.kif 34751-34752 | Starting is a subclass of accelerating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Starting "starting") | Mid-level-ontology.kif 34753-34753 |
| antecedent |
|
|
| (=> (and (instance ?START Starting) (objectTransferred ?START ?O)) (holdsDuring (BeginFn ?START) (measure ?O (MeasureFn 0.0 MilesPerHour)))) |
Mid-level-ontology.kif 34755-34760 | If X is an instance of starting and the object transferred in X is Y, then the measure of Y is 0.0 miles per hour(s) holds during the beginning of X |
| (=> (and (instance ?START Starting) (objectTransferred ?START ?O) (holdsDuring (EndFn ?START) (measure ?O (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 0.0)) |
Mid-level-ontology.kif 34762-34768 | If X is an instance of starting, the object transferred in X is Y, and the measure of Y is Z miles per hour(s) holds during the end of X, then Z is greater than 0.0 |
|