TreeView Knowledge Base Browser - angularMeasure

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 18052-18053
(domain angularMeasure 1 TwoDimensionalAngle)	Merge.kif 18050-18050	The number 1 argument of angular measure is an instance of two dimensional angle
(domain angularMeasure 2 AngleMeasure)	Merge.kif 18051-18051	The number 2 argument of angular measure is an instance of angle measure
(instance angularMeasure BinaryPredicate)	Merge.kif 18048-18048	angular measure is an instance of binary predicate
(instance angularMeasure TotalValuedRelation)	Merge.kif 18049-18049	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 equal a two dimensional angle and 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 equal an one dimensional figure and Major arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 equal an one dimensional figure and minor arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and 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 equal a two dimensional angle and 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 equal a two dimensional angle and right angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then equal the real number and 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 equal a two dimensional figure and circle sector and equal a two dimensional angle and central angle and the two dimensional angle is the angle found in the two dimensional figure and equal an one dimensional figure and 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 equal the two dimensional angleC and 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 equal the geometric figure and circle, then 360 angular degree(s) is an angular measure of the two dimensional angle

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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