angularMeasure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - angularMeasure

angularMeasure

appearance as argument number 1

(documentation angularMeasure ChineseLanguage "(angularMeasure ?ANGLE ?MEASURE)的意思是二维几何角度 ?ANGLE 的 PlaneAngleMeasure 是 ?MEASURE。")	chinese_format.kif 3993-3994
(documentation angularMeasure EnglishLanguage "(angularMeasure ?ANGLE ?MEASURE) means that the two_dimensional geometric angle ?ANGLE has ?MEASURE.")	Merge.kif 17973-17974
(domain angularMeasure 1 TwoDimensionalAngle)	Merge.kif 17971-17971	The number 1 argument of angular measure is an instance of two dimensional angle
(domain angularMeasure 2 AngleMeasure)	Merge.kif 17972-17972	The number 2 argument of angular measure is an instance of angle measure
(instance angularMeasure BinaryPredicate)	Merge.kif 17969-17969	angular measure is an instance of binary predicate
(instance angularMeasure TotalValuedRelation)	Merge.kif 17970-17970	angular measure is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage angularMeasure "%2 %n 是 %1 的 angular 量测")	domainEnglishFormat.kif 144-144
(format ChineseTraditionalLanguage angularMeasure "%2 %n 是 %1 的 angular 量測")	domainEnglishFormat.kif 143-143
(format EnglishLanguage angularMeasure "%2 is %n an angular measure of %1")	domainEnglishFormat.kif 142-142
(relatedInternalConcept arcLength angularMeasure)	Mid-level-ontology.kif 5294-5294	arc length is internally related to angular measure
(termFormat ChineseLanguage angularMeasure "圆周角度测量")	domainEnglishFormat.kif 7549-7549	arc length is internally related to angular measure
(termFormat ChineseTraditionalLanguage angularMeasure "圓周角度測量")	domainEnglishFormat.kif 7548-7548	arc length is internally related to angular measure
(termFormat EnglishLanguage angularMeasure "angular measure")	domainEnglishFormat.kif 7547-7547	arc length is internally related to angular measure

antecedent

(=> (and (equal ?A AcuteAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (lessThan ?N 90.0))	Mid-level-ontology.kif 5105-5110	If a two dimensional angle is equal to acute angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is less than 90.0
(=> (and (equal ?MAJ MajorArc) (sideOfFigure ?MAJ ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 180) (lessThan ?X 360)))	Mid-level-ontology.kif 5410-5419	If an one dimensional figure is equal to Major arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 180 and the real number is less than 360
(=> (and (equal ?MIN MinorArc) (sideOfFigure ?MIN ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 0) (lessThan ?X 180)))	Mid-level-ontology.kif 5394-5403	If an one dimensional figure is equal to minor arc and the size of a geometric figure is the one dimensional figure and the geometric figure is equal to circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 0 and the real number is less than 180
(=> (and (equal ?O ObliqueAngle) (angularMeasure ?O (MeasureFn ?N AngularDegree))) (greaterThan ?N 90.0))	Mid-level-ontology.kif 5083-5088	If a two dimensional angle is equal to oblique angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 90.0
(=> (and (equal ?R RightAngle) (angularMeasure ?R (MeasureFn ?N AngularDegree))) (equal ?N 90.0))	Mid-level-ontology.kif 5094-5099	If a two dimensional angle is equal to right angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is equal to 90.0

consequent

(=> (and (equal ?S CircleSector) (equal ?A CentralAngle) (angleOfFigure ?A ?S) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (sideOfIntersection ?A ?S ?L) (lineMeasure ?L ?R)) (exists (?AC) (and (equal ?AC CircularArc) (sideOfFigure ?AC ?S) (arcLength ?AC ?R) (angularMeasure ?A (MeasureFn 1 Radian)))))	Mid-level-ontology.kif 5365-5379	If a two dimensional figure is equal to circle sector and a two dimensional angle is equal to central angle and the two dimensional angle is the angle found in the two dimensional figure and an one dimensional figure is equal to closed line segment and the size of the two dimensional angle is the one dimensional figure and the one dimensional figure is the intersection the two dimensional angle and the two dimensional figure and a length measure is a line measure of the one dimensional figure, then there exists the two dimensional angleC such that the two dimensional angleC is equal to circular arc and the size of the two dimensional figure is the two dimensional angleC and the length measure is the LengthMeasure of the two dimensional angleC and 1 radian(s) is an angular measure of the two dimensional angle
(=> (and (instance ?A CentralAngle) (angleOfFigure ?A ?C) (equal ?C Circle)) (angularMeasure ?A (MeasureFn 360 AngularDegree)))	Mid-level-ontology.kif 5381-5386	If a two dimensional angle is an instance of central angle and the two dimensional angle is the angle found in a geometric figure and the geometric figure is equal to circle, then 360 angular degree(s) is an angular measure of the 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