Triangle![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Triangle EnglishLanguage "Any three-sided Polygon.") | Mid-level-ontology.kif 5520-5520 | |
(externalImage Triangle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ triangle.png") | pictureList.kif 795-795 | |
(instance Triangle Polygon) | Mid-level-ontology.kif 5519-5519 |
appearance as argument number 2 |
![]() |
(subAttribute RightTriangle Triangle) | Mid-level-ontology.kif 5527-5527 | |
(termFormat ChineseLanguage Triangle "三角形") | domainEnglishFormat.kif 59158-59158 | |
(termFormat ChineseTraditionalLanguage Triangle "三角形") | domainEnglishFormat.kif 59157-59157 | |
(termFormat EnglishLanguage Triangle "triangle") | domainEnglishFormat.kif 59156-59156 |
antecedent |
![]() |
(=> (and (instance ?PY Pyramid) (instance ?POL Polygon) (faceOfFigure ?POL ?PY) (sideOfFigure ?S ?POL) (instance ?T Triangle) (faceOfFigure ?T ?PY) (sideOfFigure ?S ?T) (sideOfIntersection ?POL ?T ?S)) (equal (CardinalityFn (KappaFn ?S (sideOfFigure ?S ?POL))) (CardinalityFn (KappaFn ?T (faceOfFigure ?T ?PY))))) |
Mid-level-ontology.kif 5369-5385 |
statement |
![]() |
(equal (CardinalityFn (KappaFn ?SIDE (sideOfFigure ?SIDE Triangle))) 3) |
Mid-level-ontology.kif 5522-5525 |
![]() |
![]() |