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 7228-7228 | |
(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 7226-7226 | Foot length is an instance of unit of length |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage FootLength "脚长") | domainEnglishFormat.kif 24619-24619 | |
(termFormat ChineseTraditionalLanguage FootLength "腳長") | domainEnglishFormat.kif 24618-24618 | |
(termFormat EnglishLanguage FootLength "foot length") | domainEnglishFormat.kif 24617-24617 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength)) |
Geography.kif 4093-4093 | equal 1.0 fathom(s) and 6.0 foot length(s) |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 4112-4114 | equal 1.0 nautical mile(s) and 6076.1 foot length(s) |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7230-7232 | equal a real number foot length(s) and the real number and 0.3048 meter(s) |
(equal SquareFoot (SquareUnitFn FootLength)) |
Mid-level-ontology.kif 14988-14988 | equal square foot and the square unit of foot length |
![]() |
![]() |