FootLength
|
|
appearance as argument number 1 |
(documentation FootLength ChineseLanguage "这是英制长度单位的英尺。") | chinese_format.kif 2591-2591 | |
(documentation FootLength EnglishLanguage "English length unit of feet.") | Merge.kif 7184-7184 | |
(documentation FootLength JapaneseLanguage "英国でのフィートの長さの単位。") | japanese_format.kif 1300-1300 | |
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ Vitruvian_Man_Measurements.png") | pictureList.kif 9232-9232 | |
(externalImage FootLength "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Britanski_merki_za_dalzhina_Grinuich_2005.jpg") | pictureList.kif 9231-9231 | |
(instance FootLength UnitOfLength) | Merge.kif 7182-7182 | FootLength は UnitOfLength の instance では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage FootLength "脚长") | domainEnglishFormat.kif 24614-24614 | |
(termFormat ChineseTraditionalLanguage FootLength "腳長") | domainEnglishFormat.kif 24613-24613 | |
(termFormat EnglishLanguage FootLength "foot length") | domainEnglishFormat.kif 24612-24612 |
antecedent |
(=> (and (instance ?SZ SurfZone) (significantWaveHeight ?SZ (WhenFn ?SZ) (MeasureFn ?X FootLength)) (greaterThan ?X 8.0)) (attribute ?SZ RedFlagSwimmingCondition)) |
Weather.kif 1394-1401 |
|
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 148-157 |
consequent |
statement |
(equal (MeasureFn 1.0 Fathom) (MeasureFn 6.0 FootLength)) |
Geography.kif 3842-3842 | 1.0 の Fathom(s) は 6.0 の FootLength(s) と equal では %n |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3861-3863 | 1.0 の NauticalMile(s) は 6076.1 の FootLength(s) と equal では %n |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | 実数 の FootLength(s) は 実数 + 0.3048 の Meter(s) と equal では %n |