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

Formal Language: 


KB Term:  Term intersection
English Word: 

  TwoDimensionalAngle

Sigma KEE - TwoDimensionalAngle
TwoDimensionalAngle(two dimensional angle)
angle, complementary_angles, corner, dogleg

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


(documentation TwoDimensionalAngle ChineseLanguage "这是任何两个 OneDimensionalFigure(即是 直线)相遇的的单个 GeometricPoint。") chinese_format.kif 3978-3979
(documentation TwoDimensionalAngle EnglishLanguage "Any two OneDimensionalFigures (i.e. straight lines) meeting at a single GeometricPoint.") Merge.kif 17974-17975
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Angle_Symbol.svg") pictureList.kif 2416-2416
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Angle_measure.svg") pictureList.kif 2046-2046
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 17973-17973 Two dimensional angle is a subclass of open two dimensional figure

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


(instance AcuteAngle TwoDimensionalAngle) Mid-level-ontology.kif 5489-5489 Acute angle is an instance of two dimensional angle
(instance CentralAngle TwoDimensionalAngle) Mid-level-ontology.kif 5712-5712 Central angle is an instance of two dimensional angle
(instance ObliqueAngle TwoDimensionalAngle) Mid-level-ontology.kif 5467-5467 Oblique angle is an instance of two dimensional angle
(instance RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5478-5478 Right angle is an instance of two dimensional angle
(termFormat ChineseLanguage TwoDimensionalAngle "二维角度") domainEnglishFormat.kif 59688-59688 Right angle is an instance of two dimensional angle
(termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度") domainEnglishFormat.kif 59687-59687 Right angle is an instance of two dimensional angle
(termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle") domainEnglishFormat.kif 59686-59686 Right angle is an instance of two dimensional angle

appearance as argument number 3
-------------------------


(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 18002-18002 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 18035-18035 The number 1 argument of angular measure is an instance of two dimensional angle

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


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


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