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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Triangle
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


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



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