cylinderBore |
appearance as argument number 1 |
(documentation cylinderBore EnglishLanguage "The diameter of a cylindrical HoleRegion.") | Cars.kif 1534-1534 | |
(domain cylinderBore 1 Cylinder) | Cars.kif 1535-1535 | cylinderBore 的 1 数量 是 圆筒 的 instance |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1536-1536 | cylinderBore 的 2 数量 是 长度测量 的 instance |
(instance cylinderBore BinaryPredicate) | Cars.kif 1532-1532 | cylinderBore 是 二元谓语 的 instance |
(instance cylinderBore SpatialRelation) | Cars.kif 1531-1531 | cylinderBore 是 空间关系 的 instance |
appearance as argument number 2 |
(format EnglishLanguage cylinderBore "the bore of %1 is %2") | Cars.kif 1533-1533 | |
(termFormat EnglishLanguage cylinderBore "cylinder bore") | domainEnglishFormat.kif 65802-65802 |
antecedent |
(=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1538-1544 |