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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightAngle
RightAngle(right angle)
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 "http://upload.wikimedia.org/wikipedia/commons/ 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 49940-49940
(termFormat ChineseTraditionalLanguage RightAngle "直角") domainEnglishFormat.kif 49939-49939
(termFormat EnglishLanguage RightAngle "right angle") domainEnglishFormat.kif 49938-49938

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (instance ?D Differential)
    (exists (?G1 ?G2)
        (and
            (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)
        (and
            (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