|
|
  RoundShape
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RoundShape EnglishLanguage "Any ThreeDimensionalFigure that has a single tangent at every point on its surface.") | Mid-level-ontology.kif 4548-4549 | |
| (externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") | pictureList.kif 1965-1965 | |
| (externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") | pictureList.kif 2340-2340 | |
| (instance RoundShape ThreeDimensionalFigure) | Mid-level-ontology.kif 4547-4547 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RoundShape "圆形") | domainEnglishFormat.kif 50511-50511 | |
| (termFormat ChineseTraditionalLanguage RoundShape "圓形") | domainEnglishFormat.kif 50510-50510 | |
| (termFormat EnglishLanguage RoundShape "round shape") | domainEnglishFormat.kif 50509-50509 |
| antecedent |
|
|
| (=> (attribute ?O RoundShape) (forall (?P) (and (pointOfFigure ?P ?O) (instance ?TO TwoDimensionalObject) (meetsSpatially ?P ?O) (meetsSpatially ?P ?TO) (exists (?T) (tangent ?T ?TO))))) |
Mid-level-ontology.kif 4551-4560 |
| consequent |
|
|
| (=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape)) |
Mid-level-ontology.kif 4738-4747 | |
| (=> (instance ?T Tire) (attribute ?T RoundShape)) |
Cars.kif 4805-4807 | |
| (=> (instance ?X Reel) (attribute ?X RoundShape)) |
Cars.kif 4274-4276 |
|
|
|
