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
-------------------------


(angleOfFigure RightAngle Rectangle) Mid-level-ontology.kif 4920-4920 angleOfFigure RightAngle and Rectangle
(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 RightAngle è un' istanza di AttributoPosizionale
(instance RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 4850-4850 RightAngle è un' istanza di TwoDimensionalAngle

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 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