Mile |
appearance as argument number 1 |
(documentation Mile ChineseLanguage "这是英制长度单位的英里。") | chinese_format.kif 2593-2593 | |
(documentation Mile EnglishLanguage "English length unit of miles.") | Merge.kif 7198-7198 | |
(documentation Mile JapaneseLanguage "英国でのマイルの長さの単位。") | japanese_format.kif 1302-1302 | |
(instance Mile UnitOfLength) | Merge.kif 7197-7197 | Mile est une instance de 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 13696-13700 | 1.0 SquareMile(s) est PerFn 1.0 Mile(s) and 1.0 Mile(s) |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | Nombre r�el Mile(s) est nombre r�el + 1609.344 Meter(s) |