| 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 |
| 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 |
| antecedent |
|
|
| (=> (and (cylinderBore ?CY ?M) (instance ?CY Cylinder) (instance ?CI Circle) (part ?CI ?CY)) (diameter ?CI ?M)) |
Cars.kif 1538-1544 |
| consequent |
|
|
| (=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (attribute ?AS Cylinder)) |
Weather.kif 572-577 | |
| (=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 367-373 | |
| (=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (attribute ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1606-1615 | |
| (=> (instance ?HOLE GolfHole) (exists (?CYLINDER ?CIRCLE) (and (instance ?CYLINDER Cylinder) (attribute ?HOLE ?CYLINDER) (top ?CIRCLE ?HOLE) (instance ?CIRCLE Circle) (diameter ?CIRCLE (MeasureFn 4.25 Inch))))) |
Sports.kif 963-971 |
|
|
|