TreeView Knowledge Base Browser

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 5460-5462
(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 5459-5459	Cylinder is an instance of three dimensional figure

appearance as argument number 2

(termFormat ChineseLanguage Cylinder "圆筒")	domainEnglishFormat.kif 18291-18291
(termFormat ChineseTraditionalLanguage Cylinder "圓筒")	domainEnglishFormat.kif 18290-18290
(termFormat EnglishLanguage Cylinder "cylinder")	domainEnglishFormat.kif 18289-18289

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 1541-1550

If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle,
then the diameter of the circle is the length measure

consequent

(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 556-561	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then the object is cylinder
(=> (instance ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B))))	Mid-level-ontology.kif 1392-1399	If a self connected object is an instance of gun bore, then there exists a hole such that the hole is an instance of hole and the self connected object is cylinder and the hole is a part of the self connected object and the hole is a hole in the self connected object
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 423-428	If an entity is an instance of cell, then the statement the entity cells are shaped like a sphere or the entity cells are shaped like a cylinder has the modal force of likely
(=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder))	Medicine.kif 5495-5497	If a cell is an instance of E. coli, then the cell cells are shaped like a cylinder
(=> (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 1612-1622	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and the other self connected objectIR is equal to circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=> (instance ?S Shaft) (exists (?CL) (and (instance ?CL Cylinder) (shape ?S ?CL))))	engineering.kif 900-905	If a physical is an instance of shaft, then there exists a shape attribute such that the shape attribute is an instance of cylinder and the physical is the shape attribute

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: