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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RightAngle

Sigma KEE - RightAngle
RightAngle

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


(angleOfFigure RightAngle Rectangle) Mid-level-ontology.kif 4920-4920
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") Mid-level-ontology.kif 4851-4852
(externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg") pictureList.kif 1958-1958
(instance RightAngle PositionalAttribute) Cars.kif 2232-2232
(instance RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 4850-4850

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


(termFormat ChineseLanguage RightAngle "直角") domainEnglishFormat.kif 50014-50014
(termFormat ChineseTraditionalLanguage RightAngle "直角") domainEnglishFormat.kif 50013-50013
(termFormat EnglishLanguage RightAngle "right angle") domainEnglishFormat.kif 50012-50012

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


(=>
    (angularMeasure RightAngle ?N)
    (equal ?N 90.0))
Mid-level-ontology.kif 4854-4856

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


(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))
Mid-level-ontology.kif 4896-4904
(=>
    (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 2240-2248
(=>
    (instance ?WEAVE Weaving)
    (hasPurpose ?WEAVE
        (exists (?SUB ?WARP ?WEFT ?OBJ)
            (and
                (instance ?SUB Substance)
                (attribute ?SUB Pliable)
                (patient ?WEAVE ?SUB)
                (part ?WARP ?SUB)
                (part ?WEFT ?SUB)
                (not
                    (equal ?WARP ?WEFT))
                (orientation ?WARP ?WEFT RightAngle)
                (result ?WEAVE ?OBJ)
                (instance ?OBJ Artifact)))))
Mid-level-ontology.kif 4621-4635


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