Inch | ![]() |
appearance as argument number 1 |
![]() |
(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
(documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 7205-7205 | |
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") | japanese_format.kif 1301-1301 | |
(instance Inch UnitOfLength) | Merge.kif 7204-7204 | Inch は UnitOfLength の instance では %n |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29520-29520 | |
(termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29519-29519 | |
(termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29518-29518 |
antecedent |
![]() |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 204-210 |
|
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7207-7209 | 実数 の Inch(s) は 実数 + 0.0254 の Meter(s) と equal では %n |
![]() |
![]() |