| 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 5450-5451 | |
| (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 5449-5449 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") | domainEnglishFormat.kif 50561-50561 | |
| (termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") | domainEnglishFormat.kif 50560-50560 | |
| (termFormat EnglishLanguage ConvexRoundShape "convex round shape") | domainEnglishFormat.kif 50559-50559 |
| 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 5972-5981 | |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 352-354 | |
| (=> (instance ?T Tire) (attribute ?T ConvexRoundShape)) |
Cars.kif 4863-4865 | |
| (=> (instance ?W Wheel) (shape ?W ConvexRoundShape)) |
Military.kif 179-181 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4332-4334 |
|
|
|