Pwm
|
|
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 | 例 腳長 and UnitOfLength |
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 and 推測 and 測量 6.0 and 腳長 |
(equal (MeasureFn 1.0 NauticalMile) (MeasureFn 6076.1 FootLength)) |
Geography.kif 3861-3863 | 等於 測量 1.0 and 海裡 and 測量 6076.1 and 腳長 |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | 等於 測量 RealNumber and 腳長 and 測量 乘法 RealNumber and 0.3048 and 儀表 |