|
|
   Cylinder
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Cylinder EnglishLanguage "The class 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 4807-4809 | |
| (externalImage Cylinder "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e1/ Cylinder_geometry.svg/ 162px-Cylinder_geometry.svg.png") | pictureList.kif 1084-1084 | |
| (subclass Cylinder ThreeDimensionalFigure) | Mid-level-ontology.kif 4806-4806 | Cylinder est une sous-classe de ThreeDimensionalFigure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Cylinder "圆筒") | domainEnglishFormat.kif 18279-18279 | |
| (termFormat ChineseTraditionalLanguage Cylinder "圓筒") | domainEnglishFormat.kif 18278-18278 | |
| (termFormat EnglishLanguage Cylinder "cylinder") | domainEnglishFormat.kif 18277-18277 |
| appearance as argument number 3 |
|
|
| (domain cylinderBore 1 Cylinder) | Cars.kif 1535-1535 | Le nombre 1 argument de cylinderBore est une instance de Cylinder |
| antecedent |
|
|
| (=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1538-1544 |
|
| consequent |
|
|
|
|
|
