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 18037-18038
(domain angularMeasure 1 TwoDimensionalAngle)	Merge.kif 18035-18035	The number 1 argument of angular measure is an instance of two dimensional angle
(domain angularMeasure 2 AngleMeasure)	Merge.kif 18036-18036	The number 2 argument of angular measure is an instance of angle measure
(instance angularMeasure BinaryPredicate)	Merge.kif 18033-18033	angular measure is an instance of binary predicate
(instance angularMeasure TotalValuedRelation)	Merge.kif 18034-18034	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 5682-5682	arc length is internally related to angular measure
(termFormat ChineseLanguage angularMeasure "圆周角度测量")	domainEnglishFormat.kif 7543-7543	arc length is internally related to angular measure
(termFormat ChineseTraditionalLanguage angularMeasure "圓周角度測量")	domainEnglishFormat.kif 7542-7542	arc length is internally related to angular measure
(termFormat EnglishLanguage angularMeasure "angular measure")	domainEnglishFormat.kif 7541-7541	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 5493-5498	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 5798-5807	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 5782-5791	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 5471-5476	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 5482-5487	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 5753-5767	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 5769-5774	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