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 "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 5486-5488
(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 5485-5485 Cylinder est une instance de ThreeDimensionalFigure

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


(termFormat ChineseLanguage Cylinder "圆筒") domainEnglishFormat.kif 18297-18297
(termFormat ChineseTraditionalLanguage Cylinder "圓筒") domainEnglishFormat.kif 18296-18296
(termFormat EnglishLanguage Cylinder "cylinder") domainEnglishFormat.kif 18295-18295

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


(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))		 Cars.kif 1541-1550

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


(=>
    (and
        (instance ?CS CyclonicStorm)
        (instance ?AS AirStream)
        (eventLocated ?CS ?AS))
    (shape ?AS Cylinder))		 Weather.kif 556-561
(=>
    (instance ?B GunBore)
    (exists (?H)
        (and
            (instance ?H HoleRegion)
            (shape ?B Cylinder)
            (part ?H ?B)
            (hole ?H ?B))))		 Mid-level-ontology.kif 1391-1398
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))		 VirusProteinAndCellPart.kif 418-423
(=>
    (instance ?E EscherichiaColi)
    (cellShape ?E Cylinder))		 Medicine.kif 5471-5473
(=>
    (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 1612-1622
(=>
    (instance ?HOLE GolfHole)
    (exists (?C)
        (and
            (shape ?HOLE Cylinder)
            (top ?C ?HOLE)
            (instance ?C Region)
            (shape ?C ?CIR)
            (equal ?CIR Circle)
            (diameter ?CIR
                (MeasureFn 4.25 Inch)))))		 Sports.kif 976-986
(=>
    (instance ?S Shaft)
    (exists (?CL)
        (and
            (instance ?CL Cylinder)
            (shape ?S ?CL))))		 engineering.kif 900-905


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