Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Triangle

Sigma KEE - Triangle
Triangle(三角形)

appearance as argument number 1
-------------------------


(documentation Triangle EnglishLanguage "Any three-sided Polygon.") Mid-level-ontology.kif 4886-4886
(externalImage Triangle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ triangle.png") pictureList.kif 795-795
(instance Triangle Polygon) Mid-level-ontology.kif 4885-4885 三角形 and 多邊形

appearance as argument number 2
-------------------------


(subAttribute RightTriangle Triangle) Mid-level-ontology.kif 4893-4893 子屬性 直角三角形 and 三角形
(termFormat ChineseLanguage Triangle "三角形") domainEnglishFormat.kif 59176-59176
(termFormat ChineseTraditionalLanguage Triangle "三角形") domainEnglishFormat.kif 59175-59175
(termFormat EnglishLanguage Triangle "triangle") domainEnglishFormat.kif 59174-59174

statement
-------------------------


(equal
    (CardinalityFn
        (KappaFn ?SIDE
            (sideOfFigure ?SIDE Triangle))) 3)
Mid-level-ontology.kif 4888-4891 等於 基數 卡帕 SymbolicString and 圖的一面 SymbolicString and 三角形 and 3


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners