TreeView 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	cylinderBore 的 1 数量是洞的 instance
(domain cylinderBore 2 LengthMeasure)	Cars.kif 1539-1539	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 HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI Circle))
    (diameter ?CI ?M))

Cars.kif 1541-1549