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 5573-5573 angleOfFigure RightAngle and Rectangle
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") Mid-level-ontology.kif 5498-5499 angleOfFigure RightAngle and Rectangle
(externalImage RightAngle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Right_angle.svg") pictureList.kif 1957-1957 angleOfFigure RightAngle and Rectangle
(instance RightAngle PositionalAttribute) Cars.kif 2233-2233 RightAngle est une instance de attribut positionnel
(instance RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5497-5497 RightAngle est une instance de TwoDimensionalAngle

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


(termFormat ChineseLanguage RightAngle "直角") domainEnglishFormat.kif 50045-50045
(termFormat ChineseTraditionalLanguage RightAngle "直角") domainEnglishFormat.kif 50044-50044
(termFormat EnglishLanguage RightAngle "right angle") domainEnglishFormat.kif 50043-50043

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


(=>
    (and
        (equal ?R RightAngle)
        (angularMeasure ?R
            (MeasureFn ?N AngularDegree)))
    (equal ?N 90.0))		 Mid-level-ontology.kif 5501-5506

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


(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))		 Mid-level-ontology.kif 5549-5557
(=>
    (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 2241-2249
(=>
    (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 5090-5104


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