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

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


(subclass AcuteAngle TwoDimensionalAngle) Mid-level-ontology.kif 5172-5172 Acute angle is a subclass of two dimensional angle
(subclass ObliqueAngle TwoDimensionalAngle) Mid-level-ontology.kif 5153-5153 Oblique angle is a subclass of two dimensional angle
(subclass RightAngle TwoDimensionalAngle) Mid-level-ontology.kif 5164-5164 Right angle is a subclass of two dimensional angle
(termFormat ChineseLanguage TwoDimensionalAngle "二维角度") domainEnglishFormat.kif 59583-59583
(termFormat ChineseTraditionalLanguage TwoDimensionalAngle "二維角度") domainEnglishFormat.kif 59582-59582
(termFormat EnglishLanguage TwoDimensionalAngle "two dimensional angle") domainEnglishFormat.kif 59581-59581

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


(domain angleOfFigure 1 TwoDimensionalAngle) Merge.kif 16583-16583 The number 1 argument of angle of figure is an instance of two dimensional angle
(domain angularMeasure 1 TwoDimensionalAngle) Merge.kif 16616-16616 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners