Cylinder
|
|
appearance as argument number 1 |
(documentation Cylinder EnglishLanguage "An instance of ThreeDimensionalFigures such that all GeometricPoints that make up the Cylinder are equidistant from a OneDimensionalFigure, known as the axis of the Cylinder.") | Mid-level-ontology.kif 4835-4837 | |
(externalImage Cylinder "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e1/ Cylinder_geometry.svg/ 162px-Cylinder_geometry.svg.png") | pictureList.kif 1083-1083 | |
(instance Cylinder ThreeDimensionalFigure) | Mid-level-ontology.kif 4834-4834 | Cylinder is an instance of three dimensional figure |
appearance as argument number 2 |
(termFormat ChineseLanguage Cylinder "圆筒") | domainEnglishFormat.kif 18282-18282 | |
(termFormat ChineseTraditionalLanguage Cylinder "圓筒") | domainEnglishFormat.kif 18281-18281 | |
(termFormat EnglishLanguage Cylinder "cylinder") | domainEnglishFormat.kif 18280-18280 |
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 |
|
consequent |