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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 17989-17990
(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 17988-17988 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 18017-18017 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 18050-18050 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 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