| 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 4786-4787 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 1964-1964 | |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") | pictureList.kif 2339-2339 | |
| (instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 4785-4785 | ConvexRoundShape は ThreeDimensionalFigure の instance では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") | domainEnglishFormat.kif 50540-50540 | |
| (termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") | domainEnglishFormat.kif 50539-50539 | |
| (termFormat EnglishLanguage ConvexRoundShape "convex round shape") | domainEnglishFormat.kif 50538-50538 |
| 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 4791-4805 |
|
| 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 4988-4997 | |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 340-342 | |
| (=> (instance ?T Tire) (attribute ?T ConvexRoundShape)) |
Cars.kif 4802-4804 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4271-4273 |
|
|
|