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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RightAngle
RightAngle(right angle)

appearance as argument number 1

(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") Mid-level-ontology.kif 5171-5172
(externalImage RightAngle " 6/ 6c/ Right_angle.svg") pictureList.kif 1959-1959
(instance RightAngle PositionalAttribute) Cars.kif 2236-2236 Right angle is an instance of positional attribute
(subclass RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5170-5170 Right angle is a subclass of two dimensional angle

appearance as argument number 2

(partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) Mid-level-ontology.kif 5181-5181 Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle
(termFormat ChineseLanguage RightAngle "直角") domainEnglishFormat.kif 50006-50006
(termFormat ChineseTraditionalLanguage RightAngle "直角") domainEnglishFormat.kif 50005-50005
(termFormat EnglishLanguage RightAngle "right angle") domainEnglishFormat.kif 50004-50004


    (instance ?A RightAngle)
    (angularMeasure ?A
        (MeasureFn 90 AngularDegree)))
Mid-level-ontology.kif 5174-5176


    (instance ?D Differential)
    (exists (?G1 ?G2)
            (instance ?G1 Gear)
            (instance ?G2 Gear)
            (part ?G1 ?D)
            (part ?G2 ?D)
            (orientation ?G1 ?G2 RightAngle))))
Cars.kif 2244-2252
    (instance ?RECTANGLE Rectangle)
        (angleOfFigure ?ANGLE ?RECTANGLE)
        (instance ?ANGLE RightAngle)))
Mid-level-ontology.kif 5231-5235
    (instance ?T RightTriangle)
    (exists (?A)
            (instance ?A RightAngle)
            (angleOfFigure ?A ?T))))
Mid-level-ontology.kif 5213-5218

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