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 5554-5554 angleOfFigure RightAngle and Rectangle
(documentation RightAngle EnglishLanguage "Any TwoDimensionalAngle that has the angularMeasure of 90 AngularDegrees.") Mid-level-ontology.kif 5479-5480 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 は 位置属性 の instance では
(instance RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5478-5478 RightAngle は TwoDimensionalAngle の instance では

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


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

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


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

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


(=>
    (and
        (equal ?PLANE
            (LevelPlaneFn ?P ?A))
        (part ?P ?R)
        (instance ?R Region)
        (located ?R ?A))
    (exists (?L)
        (and
            (instance ?L LineInSpace)
            (endPointsOfLineInSpace ?P
                (CenterOfPlanetFn ?A) ?L)
            (orientation ?PLANE ?L RightAngle))))		 Mid-level-ontology.kif 27429-27441
(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))		 Mid-level-ontology.kif 5530-5538
(=>
    (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 5071-5085


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