cylinderBore - Sigma Knowledge base Browser

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 65831-65831

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))

Cars.kif 1541-1550