NauticalMile
|
|
appearance as argument number 1 |
(documentation NauticalMile EnglishLanguage "NauticalMile represents the international unit used for measuring distance in sea and air navigation. The unit is based on the length of a minute of arc of a great circle of PlanetEarth.") | Geography.kif 3856-3859 | |
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png") | pictureList.kif 6721-6721 | |
(instance NauticalMile UnitOfLength) | Geography.kif 3855-3855 | NauticalMile e' uma instancia de UnitOfLength |
appearance as argument number 2 |
(names "nautical mile" NauticalMile) | Geography.kif 3853-3853 | NauticalMile se chama nome "nautical mile" |
(termFormat ChineseLanguage NauticalMile "海里") | domainEnglishFormat.kif 39947-39947 | |
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") | domainEnglishFormat.kif 39946-39946 | |
(termFormat EnglishLanguage NauticalMile "nautical mile") | domainEnglishFormat.kif 39945-39945 |
antecedent |
consequent |
statement |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 3865-3867 | 1.0 NauticalMile(s) e' igual a 1852.0 Meter(s) |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3861-3863 | 1.0 NauticalMile(s) e' igual a 6076.1 FootLength(s) |