cylinderBore - Sigma Knowledge base Browser

appearance as argument number 1

(instance cylinderBore SpatialRelation)	Cars.kif 1409-1409	cylinder bore is an instance of spatial relation
(instance cylinderBore BinaryPredicate)	Cars.kif 1410-1410	cylinder bore is an instance of binary predicate
(documentation cylinderBore EnglishLanguage "The diameter of a cylindrical HoleRegion.")	Cars.kif 1412-1412	cylinder bore is an instance of binary predicate
(domain cylinderBore 1 HoleRegion)	Cars.kif 1416-1416	The number 1 argument of cylinder bore is an instance of hole
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1417-1417	The number 2 argument of cylinder bore is an instance of length measure

appearance as argument number 2

(format EnglishLanguage cylinderBore "the bore of %1 is %2")	Cars.kif 1411-1411
(termFormat EnglishLanguage cylinderBore "cylinder bore")	domainEnglishFormat.kif 65811-65811

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))

If All of the following hold: (1) the bore of X is Y (2) X is an instance of hole (3) X is cylinder (4) Z is a part of X (5) Z is an instance of region (6) Z is W (7) equal W and circle, then the diameter of W is Y