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 4547-4549
(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 4546-4546

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 1549-1549

antecedent
-------------------------


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY Cylinder)
        (instance ?CI Circle)
        (part ?CI ?CY))
    (diameter ?CI ?M))
Cars.kif 1552-1558

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (attribute ?AS Cylinder))
Weather.kif 572-577
(=>
    (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 1620-1629
(=>
    (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 815-823


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