TreeView 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: