|
|
  Inch
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Inch ChineseLanguage "这是英制长度单位的英寸。") | chinese_format.kif 2592-2592 | |
| (documentation Inch EnglishLanguage "English length unit of inches.") | Merge.kif 7191-7191 | |
| (documentation Inch JapaneseLanguage "英国でのインチの長さの単位。") | japanese_format.kif 1301-1301 | |
| (instance Inch UnitOfLength) | Merge.kif 7190-7190 | Inch is an instance of unit of length |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Inch "英寸") | domainEnglishFormat.kif 29497-29497 | |
| (termFormat ChineseTraditionalLanguage Inch "英寸") | domainEnglishFormat.kif 29496-29496 | |
| (termFormat EnglishLanguage Inch "inch") | domainEnglishFormat.kif 29495-29495 |
| antecedent |
|
|
| (=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 211-217 |
|
| 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 964-972 |
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7193-7195 | A real number inch(s) is equal to the real number and 0.0254 meter(s) |
|
|
|