Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cylinder

Sigma KEE - Cylinder
Cylinder(cylinder)
cylinder

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 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
(subclass Cylinder ThreeDimensionalFigure) Mid-level-ontology.kif 4839-4839 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

consequent
-------------------------


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (attribute ?AS Cylinder))
Weather.kif 572-577
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 418-424
(=>
    (instance ?E EscherichiaColi)
    (cellShape ?E Cylinder))
Medicine.kif 5486-5488
(=>
    (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
(=>
    (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


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