Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ConvexRoundShape(convex round shape)
|
| appearance as argument number 1 |
|
| (instance ConvexRoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 5576-5576 | Convex round shape is an instance of three dimensional figure |
| (documentation ConvexRoundShape EnglishLanguage "Any ThreeDimensionalFigure that has a single tangent at every point on its surface.") | Mid-level-ontology.kif 5577-5578 | Convex round shape is an instance of three dimensional figure |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 1963-1963 | Convex round shape is an instance of three dimensional figure |
| (externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") | pictureList.kif 2338-2338 | Convex round shape is an instance of three dimensional figure |
| appearance as argument number 2 |
|
|
| 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 6111-6120 | If X is an instance of bubble and there don't exist Y, Z such that Z is an attribute of Y, equal Y, gas, and Y meets X, then convex round shape is an attribute of X |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4178-4180 | If X is an instance of reel, then convex round shape is an attribute of X |
| (=> (instance ?T Tire) (attribute ?T ConvexRoundShape)) |
Cars.kif 4694-4696 | If X is an instance of tire, then convex round shape is an attribute of X |
| (=> (instance ?W Wheel) (shape ?W ConvexRoundShape)) |
Military.kif 191-193 | If X is an instance of wheel, then X is convex round shape |
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 352-354 | If X is an instance of foot ball, then X is convex round shape |
|