![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation CircleSector EnglishLanguage "A slice of a Circle, i.e. any ClosedTwoDimensionalFigure which consists of two Radii and the arc of the Circle that they bound.") | Mid-level-ontology.kif 5602-5604 | |
(externalImage CircleSector "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Circle_arc.svg") | pictureList.kif 1699-1699 | |
(instance CircleSector ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 5601-5601 | Circle sector is an instance of closed two dimensional figure |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage CircleSector "圈子部门") | domainEnglishFormat.kif 14877-14877 | |
(termFormat ChineseTraditionalLanguage CircleSector "圈子部門") | domainEnglishFormat.kif 14876-14876 | |
(termFormat EnglishLanguage CircleSector "circle sector") | domainEnglishFormat.kif 14875-14875 |
antecedent |
![]() |
statement |
![]() |
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE CircleSector))) 3) |
Mid-level-ontology.kif 5635-5638 | equal the number of instances in the class described by a symbolic string and 3 |
![]() |
![]() |