Cylinder - Sigma Knowledge base Browser

appearance as argument number 1

(instance Cylinder ThreeDimensionalFigure)	Mid-level-ontology.kif 5605-5605	Cylinder is an instance of three dimensional figure
(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 5606-5608	Cylinder is an instance of three dimensional figure
(externalImage Cylinder "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e1/ Cylinder_geometry.svg/ 162px_Cylinder_geometry.svg.png")	pictureList.kif 1083-1083	Cylinder is an instance of three dimensional figure

appearance as argument number 2

(termFormat EnglishLanguage Cylinder "cylinder")	domainEnglishFormat.kif 18282-18282
(termFormat ChineseTraditionalLanguage Cylinder "圓筒")	domainEnglishFormat.kif 18283-18283
(termFormat ChineseLanguage Cylinder "圆筒")	domainEnglishFormat.kif 18284-18284

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))

Cars.kif 1419-1428

If All of the following hold: (1) the bore of X is Y (2) X is an instance of hole (3) X is cylinder (4) Z is a part of X (5) Z is an instance of region (6) Z is W (7) equal W and circle, then the diameter of W is Y

consequent

(=> (instance ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B))))	Mid-level-ontology.kif 1427-1434	If X is an instance of gun bore, then there exists Y such that Y is an instance of hole, X is cylinder, Y is a part of X, and Y is a hole in X
(=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (shape ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC))))	Cars.kif 1491-1501	If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X
(=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder))	Medicine.kif 5508-5510	If X is an instance of E. coli, then X cells are shaped like a cylinder
(=> (instance ?HOLE GolfHole) (exists (?C ?CIR) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 990-1000	If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s)
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 401-406	If X is an instance of cell, then the statement X cells are shaped like a sphere or X cells are shaped like a cylinder has the modal force of likely
(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 997-1002	If X is an instance of cyclonic storm, Y is an instance of air stream, and X is located at Y, then Y is cylinder
(=> (instance ?S Shaft) (exists (?CL) (and (instance ?CL Cylinder) (shape ?S ?CL))))	engineering.kif 987-992	If X is an instance of shaft, then there exists Y such that Y is an instance of cylinder and X is Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners