Mile
|
|
appearance as argument number 1 |
(documentation Mile ChineseLanguage "这是英制长度单位的英里。") | chinese_format.kif 2593-2593 | |
(documentation Mile EnglishLanguage "English length unit of miles.") | Merge.kif 7199-7199 | |
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。") | japanese_format.kif 1302-1302 | |
(instance Mile UnitOfLength) | Merge.kif 7198-7198 | Mile è un' istanza di UnitOfLength |
appearance as argument number 2 |
(termFormat ChineseLanguage Mile "英里") | domainEnglishFormat.kif 37523-37523 | |
(termFormat ChineseTraditionalLanguage Mile "英里") | domainEnglishFormat.kif 37522-37522 | |
(termFormat EnglishLanguage Mile "mile") | domainEnglishFormat.kif 37521-37521 |
antecedent |
consequent |
statement |
(earthAltitude OzoneShield (MeasureFn 25.0 Mile)) |
Geography.kif 2793-2793 | earthAltitude OzoneShield and 25.0 Mile(s |
(equal (MeasureFn 1.0 SquareMile) (PerFn (MeasureFn 1.0 Mile) (MeasureFn 1.0 Mile))) |
Mid-level-ontology.kif 13723-13727 | 1.0 SquareMile(s is uguale a PerFn 1.0 Mile(s and 1.0 Mile(s |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7201-7203 | NumeroReale Mile(s is uguale a NumeroReale + 1609.344 Meter(s |