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 | |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1536-1536 | |
(instance cylinderBore BinaryPredicate) | Cars.kif 1532-1532 | |
(instance cylinderBore SpatialRelation) | Cars.kif 1531-1531 |
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 |