| 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 |
|
|
|