TreeView Knowledge Base Browser

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 4812-4814
(externalImage Cylinder "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e1/ Cylinder_geometry.svg/ 162px-Cylinder_geometry.svg.png")	pictureList.kif 1083-1083
(subclass Cylinder ThreeDimensionalFigure)	Mid-level-ontology.kif 4811-4811	Cylinder is a subclass of three dimensional figure

appearance as argument number 2

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

appearance as argument number 3

(domain cylinderBore 1 Cylinder)

Cars.kif 1535-1535

The number 1 argument of cylinder bore is an instance of cylinder

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))

Cars.kif 1538-1544

If the bore of a cylinder is a length measure and the cylinder is an instance of cylinder and a circle is an instance of circle and the circle is a part of the cylinder,
then the diameter of the circle is the length measure

consequent

(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (attribute ?AS Cylinder))	Weather.kif 572-577	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 cylinder is an attribute of the object
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 418-424	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 5486-5488	If a physical is an instance of E. coli, then the physical cells are shaped like a cylinder
(=> (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	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 cylinder is an attribute of the hole 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 (?CYLINDER ?CIRCLE) (and (instance ?CYLINDER Cylinder) (attribute ?HOLE ?CYLINDER) (top ?CIRCLE ?HOLE) (instance ?CIRCLE Circle) (diameter ?CIRCLE (MeasureFn 4.25 Inch)))))	Sports.kif 964-972	If a self connected object is an instance of golf hole, then there exist an attribute and another self connected object such that the attribute is an instance of cylinder and the attribute is an attribute of the self connected object and the top of the self connected object is the other self connected object and the other self connected object is an instance of circle and the diameter of the other self connected object is 4.25 inch(s)

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: