|
|
   SymbolicString
|
|
|
| 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 4812-4814 | |
| (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 4811-4811 |
| 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 |
| 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 |
|
|
|
