Inch |
appearance as argument number 1 |
(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
(documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 7192-7192 | |
(documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") | japanese_format.kif 1301-1301 | |
(instance Inch UnitOfLength) | Merge.kif 7191-7191 | Inch è un' istanza di UnitOfLength |
appearance as argument number 2 |
(termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29491-29491 | |
(termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29490-29490 | |
(termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29489-29489 |
antecedent |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 204-210 |
|
consequent |
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C Circle) (diameter ?C (MeasureFn 4.25 Inch))))) |
Sports.kif 964-973 |
|
statement |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7194-7196 | NumeroReale Inch(s is uguale a NumeroReale + 0.0254 Meter(s |