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 16582-16583
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ b/ bf/ Angle_Symbol.svg") pictureList.kif 2418-2418
(externalImage TwoDimensionalAngle "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Angle_measure.svg") pictureList.kif 2048-2048
(partition TwoDimensionalAngle RightAngle ObliqueAngle AcuteAngle) Mid-level-ontology.kif 5181-5181 Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 16581-16581 Two dimensional angle is a subclass of open two dimensional figure

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


(subclass AcuteAngle TwoDimensionalAngle) Mid-level-ontology.kif 5178-5178 Acute angle is a subclass of two dimensional angle
(subclass ObliqueAngle TwoDimensionalAngle) Mid-level-ontology.kif 5159-5159 Oblique angle is a subclass of two dimensional angle
(subclass RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5170-5170 Right angle is a subclass of two dimensional angle
(termFormat ChineseLanguage TwoDimensionalAngle "二维角度") domainEnglishFormat.kif 59604-59604
(termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度") domainEnglishFormat.kif 59603-59603
(termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle") domainEnglishFormat.kif 59602-59602

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


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


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