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 17183-17184
(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 4574-4574 Two dimensional angle is exhaustively partitioned into right angle, oblique angle, and acute angle
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 17182-17182 Two dimensional angle is a subclass of open two dimensional figure

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


(subclass AcuteAngle TwoDimensionalAngle) Mid-level-ontology.kif 4571-4571 Acute angle is a subclass of two dimensional angle
(subclass ObliqueAngle TwoDimensionalAngle) Mid-level-ontology.kif 4552-4552 Oblique angle is a subclass of two dimensional angle
(subclass RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 4563-4563 Right angle is a subclass of two dimensional angle
(termFormat ChineseLanguage TwoDimensionalAngle "二维角度") domainEnglishFormat.kif 59663-59663
(termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度") domainEnglishFormat.kif 59662-59662
(termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle") domainEnglishFormat.kif 59661-59661

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


(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 17211-17211 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 17244-17244 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