Inch | ![]() |
appearance as argument number 1 |
![]() |
(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
(documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 6906-6906 | |
(instance Inch UnitOfLength) | Merge.kif 6905-6905 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29485-29485 | |
(termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29484-29484 | |
(termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29483-29483 |
consequent |
![]() |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT ?HEIGHT)) (not (greaterThan ?HEIGHT (MeasureFn 120 Inch)))) |
Mid-level-ontology.kif 349-354 | |
(=> (instance ?HOLE GolfHole) (exists (?CYLINDER ?CIRCLE) (and (instance ?CYLINDER Cylinder) (attribute ?HOLE ?CYLINDER) (top ?CIRCLE ?HOLE) (instance ?CIRCLE Circle) (diameter ?CIRCLE (MeasureFn 4.25 Inch))))) |
Sports.kif 815-823 |
statement |
![]() |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 6908-6910 |
![]() |
![]() |