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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 4585-4587
(externalImage Cylinder "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e1/ Cylinder_geometry.svg/ 162px-Cylinder_geometry.svg.png") pictureList.kif 1084-1084
(subclass Cylinder ThreeDimensionalFigure) Mid-level-ontology.kif 4584-4584

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Cylinder "圆筒") domainEnglishFormat.kif 18273-18273
(termFormat ChineseTraditionalLanguage Cylinder "圓筒") domainEnglishFormat.kif 18272-18272
(termFormat EnglishLanguage Cylinder "cylinder") domainEnglishFormat.kif 18271-18271

appearance as argument number 3
-------------------------


(domain cylinderBore 1 Cylinder) Cars.kif 1535-1535

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 367-373
(=>
    (instance ?HC HydraulicCylinder)
    (exists (?HH ?C ?P)
        (and
            (instance ?C Hole)
            (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 891-899


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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