| appearance as argument number 1 |
|
| (documentation Odometer EnglishLanguage "An Odometer is a Device used for measuring the distance travelled by a vehicle, such as a car.[Wikipedia]") | Cars.kif 2965-2966 | |
| (subclass Odometer MeasuringDevice) | Cars.kif 2964-2964 | |
| (typicalPart Odometer Vehicle) | Cars.kif 2968-2968 |
| appearance as argument number 2 |
|
|
| (names "odograph" Odometer) | Cars.kif 2967-2967 | |
| (termFormat EnglishLanguage Odometer "odometer") | domainEnglishFormat.kif 65900-65900 |
| antecedent |
|
|
| (=> (and (instance ?O Odometer) (instance ?V Vehicle) (part ?O ?V) (instance ?T Translocation) (instrument ?T ?V) (path ?T ?P) (distanceOnPath (MeasureFn ?D ?U) ?P) (instance ?U LengthMeasure)) (hasPurpose ?O (exists (?M ?L ?DIST ?U) (and (instance ?M Measuring) (instrument ?M ?O) (measurementReading ?O ?DIST) (inList ?D ?L) (holdsDuring (WhenFn (EndFn ?M)) (and (equal ?DIST (MeasureFn (ListSumFn ?L) ?U)) (not (attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2970-2996 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners