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 | Le nombre 1 argument de cylinderBore est une instance de trou |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1539-1539 | Le nombre 2 argument de cylinderBore est une instance de mesure de longueur |
(instance cylinderBore BinaryPredicate) | Cars.kif 1532-1532 | cylinderBore est une instance de pr�dicat binaire |
(instance cylinderBore SpatialRelation) | Cars.kif 1531-1531 | cylinderBore est une instance de relation spatial |
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 |
![]() |
![]() |