Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| KiloMeterPerHour(kilometer per hour) |
| appearance as argument number 1 |
|
| (instance KiloMeterPerHour CompositeUnitOfMeasure) | Transportation.kif 5200-5200 | Kilometer per hour is an instance of composite unit of measure |
| (instance KiloMeterPerHour FunctionQuantity) | Transportation.kif 5201-5201 | Kilometer per hour is an instance of function quantity |
| (documentation KiloMeterPerHour EnglishLanguage "KiloMeterPerHour is a unit of speed, expressing the number of Kilometer travelled in one Hour.[Wikipedia].") | Transportation.kif 5202-5203 | Kilometer per hour is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage KiloMeterPerHour "kilometer per hour") | Transportation.kif 5204-5204 | |
| (names "kph" KiloMeterPerHour) | Transportation.kif 5205-5205 | Kilometer per hour has name "kph" |
| antecedent |
|
|
| (<=> (equal ?SPEED (MeasureFn ?NUM KiloMeterPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Kilometer) (MeasureFn 1 HourDuration)))) |
Transportation.kif 5207-5213 | equal X and Y kilometer per hour(s) if and only if equal X and Y kilometer(s) per 1 hour duration(s) |
|