Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Oval
|
|
|
| appearance as argument number 1 |
|
|
| (instance Oval ClosedTwoDimensionalFigure) | Merge.kif 7775-7775 | Oval is an instance of closed two dimensional figure |
| (documentation Oval EnglishLanguage "An instance of ClosedTwoDimensionalFigures that is produced by the intersection of a Cone with a ClosedTwoDimensionalFigure.") | Merge.kif 7777-7778 | Oval is an instance of closed two dimensional figure |
| (externalImage Oval "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Oval1.PNG") | pictureList.kif 960-960 | Oval is an instance of closed two dimensional figure |
| appearance as argument number 2 |
|
|
| (subAttribute Circle Oval) | Merge.kif 7780-7780 | Circle is a subattribute of oval |
| (termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43721-43721 | Circle is a subattribute of oval |
| (termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43722-43722 | Circle is a subattribute of oval |
| (termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43723-43723 | Circle is a subattribute of oval |
| appearance as argument number 3 |
|
|
| (domain tangent 2 Oval) | Mid-level-ontology.kif 5406-5406 | The number 2 argument of tangent is an instance of oval |
| consequent |
|
|
| (=> (equal ?L TangentLine) (exists (?C) (and (instance ?C Oval) (tangent ?L ?C)))) |
Mid-level-ontology.kif 5397-5402 | If equal X and tangent line, then there exists Y such that Y is an instance of oval and a tangent of Y is X |
|
