|
|
  ConvexRoundShape
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ConvexRoundShape EnglishLanguage "Any ThreeDimensionalFigure that has a single tangent at every point on its surface.") | Mid-level-ontology.kif 4781-4782 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 1965-1965 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") | pictureList.kif 2340-2340 | |
| (instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 4780-4780 | ConvexRoundShape est une instance de ThreeDimensionalFigure |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") | domainEnglishFormat.kif 50549-50549 | |
| (termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") | domainEnglishFormat.kif 50548-50548 | |
| (termFormat EnglishLanguage ConvexRoundShape "convex round shape") | domainEnglishFormat.kif 50547-50547 |
| antecedent |
|
|
| (=> (and (instance ?O Object) (attribute ?O ConvexRoundShape) (surface ?TO ?O) (instance ?TO TwoDimensionalObject)) (forall (?P) (and (part ?P ?O) (attribute ?P GeometricPoint) (pointOfFigure ?P ?O) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO))))) |
Mid-level-ontology.kif 4786-4800 |
|
| consequent |
|
|
| (=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B ConvexRoundShape)) |
Mid-level-ontology.kif 4983-4992 | |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 339-341 | |
| (=> (instance ?T Tire) (attribute ?T ConvexRoundShape)) |
Cars.kif 4802-4804 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4271-4273 |
|
|
|
