FootLength(foot length)![]() ![]() | ![]() | foot, ft |
appearance as argument number 1 |
![]() |
(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。") | chinese_format.kif 2591-2591 | |
(documentation FootLength EnglishLanguage "English length unit of feet.") | Merge.kif 7194-7194 | |
(documentation FootLength JapaneseLanguage "英国でのフィートの長さの単位。") | japanese_format.kif 1300-1300 | |
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9231-9231 | |
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") | pictureList.kif 9230-9230 | |
(instance FootLength UnitOfLength) | Merge.kif 7192-7192 | Foot length is an instance of unit of length |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage FootLength "脚长") | domainEnglishFormat.kif 24630-24630 | |
(termFormat ChineseTraditionalLanguage FootLength "腳長") | domainEnglishFormat.kif 24629-24629 | |
(termFormat EnglishLanguage FootLength "foot length") | domainEnglishFormat.kif 24628-24628 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength)) |
Geography.kif 3923-3923 | 1.0 Fathom(s) is equal to 6.0 foot length(s) |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3942-3944 | 1.0 Nautical mile(s) is equal to 6076.1 foot length(s) |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7196-7198 | A real number foot length(s) is equal to the real number and 0.3048 meter(s) |
(equal SquareFoot (SquareUnitFn FootLength)) |
Mid-level-ontology.kif 14545-14545 | Square foot is equal to the square unit of foot length |
![]() |
![]() |