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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightAngle
RightAngle

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 instance RightAngle and PositionalAttribute
(subclass RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5170-5170 subclass RightAngle and TwoDimensionalAngle

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


(partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) Mid-level-ontology.kif 5181-5181 partition TwoDimensionalAngle, RightAngle, ObliqueAngle and AcuteAngle
(termFormat ChineseLanguage RightAngle "直角") domainEnglishFormat.kif 50006-50006
(termFormat ChineseTraditionalLanguage RightAngle "直角") domainEnglishFormat.kif 50005-50005
(termFormat EnglishLanguage RightAngle "right angle") domainEnglishFormat.kif 50004-50004

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