Inch | ![]() |
appearance as argument number 1 |
![]() |
(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
(documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 7235-7235 | |
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") | japanese_format.kif 1301-1301 | |
(instance Inch UnitOfLength) | Merge.kif 7234-7234 | Inch est une instance de UnitOfLength |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29502-29502 | |
(termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29501-29501 | |
(termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29500-29500 |
antecedent |
![]() |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 204-210 |
|
(=> (and (instance ?H Handgun) (instance ?B1 GunBarrel) (part ?B1 ?H) (length ?B1 (MeasureFn ?S Inch)) (instance ?L Longgun) (instance ?B2 GunBarrel) (part ?B2 ?L) (length ?B2 (MeasureFn ?T Inch))) (lessThan ?S ?T)) |
Mid-level-ontology.kif 2002-2012 |
|
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7237-7239 | equal nombre r�el Inch(s) and nombre r�el + 0.0254 Meter(s) |
![]() |
![]() |