![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
(documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 7158-7158 | |
(instance Inch UnitOfLength) | Merge.kif 7157-7157 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29473-29473 | |
(termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29472-29472 | |
(termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29471-29471 |
antecedent |
![]() |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 206-212 |
consequent |
![]() |
(=> (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 963-971 |
statement |
![]() |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7160-7162 |
![]() |
![]() |