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 4814-4815 | |
(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 4813-4813 | ConvexRoundShape ist ein fall von ThreeDimensionalFigure %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") | domainEnglishFormat.kif 50528-50528 | |
(termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") | domainEnglishFormat.kif 50527-50527 | |
(termFormat EnglishLanguage ConvexRoundShape "convex round shape") | domainEnglishFormat.kif 50526-50526 |
antecedent |
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 5016-5025 |
|
(=> (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 |