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 4074-4077 | |
(externalImage NauticalMile "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Nautic_mile_definition_v2.png") | pictureList.kif 6720-6720 | |
(instance NauticalMile UnitOfLength) | Geography.kif 4073-4073 | NauticalMile は UnitOfLength の instance では |
appearance as argument number 2 |
![]() |
(names "nautical mile" NauticalMile) | Geography.kif 4071-4071 | NauticalMile は "nautical mile" の &ames$"name" を 持って |
(termFormat ChineseLanguage NauticalMile "海里") | domainEnglishFormat.kif 39958-39958 | NauticalMile は "nautical mile" の &ames$"name" を 持って |
(termFormat ChineseTraditionalLanguage NauticalMile "海裡") | domainEnglishFormat.kif 39957-39957 | NauticalMile は "nautical mile" の &ames$"name" を 持って |
(termFormat EnglishLanguage NauticalMile "nautical mile") | domainEnglishFormat.kif 39956-39956 | NauticalMile は "nautical mile" の &ames$"name" を 持って |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 1852.0 Meter)) |
Geography.kif 4083-4085 | equal 1.0 の NauticalMile(s) and 1852.0 の Meter(s) |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 4079-4081 | equal 1.0 の NauticalMile(s) and 6076.1 の FootLength(s) |
![]() |
![]() |