cylinderBore |
appearance as argument number 1 |
(documentation cylinderBore EnglishLanguage "The diameter of a cylindrical HoleRegion.") | Cars.kif 1534-1534 | |
(domain cylinderBore 1 HoleRegion) | Cars.kif 1538-1538 | The number 1 argument of cylinder bore is an instance of hole |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1539-1539 | The number 2 argument of cylinder bore is an instance of length measure |
(instance cylinderBore BinaryPredicate) | Cars.kif 1532-1532 | cylinder bore is an instance of binary predicate |
(instance cylinderBore SpatialRelation) | Cars.kif 1531-1531 | cylinder bore is an instance of spatial relation |
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 65833-65833 |
antecedent |
(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI Circle)) (diameter ?CI ?M)) |
Cars.kif 1541-1549 |
|