| 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 4809-4810 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 1963-1963 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") | pictureList.kif 2338-2338 | |
| (instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 4808-4808 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") | domainEnglishFormat.kif 50563-50563 | |
| (termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") | domainEnglishFormat.kif 50562-50562 | |
| (termFormat EnglishLanguage ConvexRoundShape "convex round shape") | domainEnglishFormat.kif 50561-50561 |
| 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 4814-4828 |
| 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 5010-5019 | |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 340-342 | |
| (=> (instance ?T Tire) (attribute ?T ConvexRoundShape)) |
Cars.kif 4862-4864 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4331-4333 |
|
|
|