Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Semicircle(semicircle) |  | hemicycle, semicircle |
| appearance as argument number 1 |
|
|
| (instance Semicircle ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 5753-5753 | Semicircle is an instance of closed two dimensional figure |
| (documentation Semicircle EnglishLanguage "Half of a Circle, i.e. the CircleSector formed when the two bounding radii are colinear and together form a diameter of the Circle.") | Mid-level-ontology.kif 5754-5756 | Semicircle is an instance of closed two dimensional figure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Semicircle "semicircle") | Mid-level-ontology.kif 5757-5757 |
| antecedent |
|
|
| (=> (equal ?S Semicircle) (equal ?S CircleSector)) |
Mid-level-ontology.kif 5759-5761 | If equal ?S and semicircle, then equal ?S and circle sector |
|