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 4840-4842
(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 4839-4839	Cylinder ist ein fall von ThreeDimensionalFigure %n{nicht}

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

antecedent

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

Cars.kif 1541-1549

Wenn cylinderBore HoleRegion and LengthMeasure und ** HoleRegion ist ein fall von HoleRegion %n{nicht} und shape ** HoleRegion and Cylinder und Object ist ein teil von ** HoleRegion %n{nicht} und ** Object ist ein fall von Region %n{nicht} und shape ** Object and Circle,
dann der durchmesser von ** Object ist ** LengthMeasure %n{nicht}

consequent

(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 568-573	Wenn Process ist ein fall von CyclonicStorm %n{nicht} und Object ist ein fall von AirStream %n{nicht} und eventLocated Process and Object, dann shape ** Object and Cylinder
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 418-423	Wenn Entity ist ein fall von Cell %n{nicht}, dann die Aussage cellShape Entity and Sphere oder cellShape Entity and Cylinder hat die modale Kraft von Likely
(=> (instance ?E EscherichiaColi) (cellShape ?E Cylinder))	Medicine.kif 5486-5488	Wenn Cell ist ein fall von EscherichiaColi %n{nicht}, dann cellShape ** Cell and 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 1611-1621	Wenn Object ist ein fall von HydraulicCylinder %n{nicht}, dann es gibt Object, HoleRegion, and und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist gleich HoleHostFn HoleRegion %n{nicht} und shape HoleRegion and Cylinder und Object ist ein fall von Piston %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von ** Object %n{nicht}
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C Circle) (diameter ?C (MeasureFn 4.25 Inch)))))	Sports.kif 964-973	Wenn SelfConnectedObject ist ein fall von GolfHole %n{nicht}, dann es gibt SelfConnectedObject um shape SelfConnectedObject and Cylinder und die oberseite von SelfConnectedObject ist SelfConnectedObject und SelfConnectedObject ist ein fall von Region %n{nicht} und shape SelfConnectedObject and Circle und der durchmesser von ** SelfConnectedObject ist 4.25 Inch(s) %n{nicht}

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: