YakMilk
|
|
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 4835-4837 | |
(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 4834-4834 | Cylinder è un' istanza di ThreeDimensionalFigure |
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 |
antecedent |
(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI Circle)) (diameter ?CI ?M)) |
Cars.kif 1541-1549 |
consequent |
(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder)) |
Weather.kif 556-561 | |
(=> (instance ?C Cell) (modalAttribute (or (cellShape ?C Sphere) (cellShape ?C Cylinder)) Likely)) |
VirusProteinAndCellPart.kif 418-423 | |
(=> (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)) (shape ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1611-1621 | |
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C Circle) (diameter ?C (MeasureFn 4.25 Inch))))) |
Sports.kif 964-973 |
|