TreeView Knowledge Base Browser

appearance as argument number 1

(documentation cylinderBore EnglishLanguage "The diameter of a cylindrical Hole.")	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

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))

Cars.kif 1538-1544