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