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 e' uma instancia 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 13695-13699 | 1.0 SquareMile(s) e' igual a PerFn 1.0 Mile(s) and 1.0 Mile(s) |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | Numero Real Mile(s) e' igual a Numero Real + 1609.344 Meter(s) |