lineMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation lineMeasure ChineseLanguage "(lineMeasure ?LINE ?MEASURE)的意思是直线 ?LINE 的 LengthMeasure 是 ?MEASURE。")	chinese_format.kif 3995-3996
(documentation lineMeasure EnglishLanguage "(lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE.")	Merge.kif 18072-18073
(domain lineMeasure 1 OneDimensionalFigure)	Merge.kif 18070-18070	The number 1 argument of line measure is an instance of one dimensional figure
(domain lineMeasure 2 LengthMeasure)	Merge.kif 18071-18071	The number 2 argument of line measure is an instance of length measure
(instance lineMeasure BinaryPredicate)	Merge.kif 18068-18068	line measure is an instance of binary predicate
(instance lineMeasure TotalValuedRelation)	Merge.kif 18069-18069	line measure is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1543-1543
(format ChineseTraditionalLanguage lineMeasure "%2 %n 是 %1 的 line 量测")	domainEnglishFormat.kif 1542-1542
(format EnglishLanguage lineMeasure "%2 is %n a line measure of %1")	domainEnglishFormat.kif 1541-1541
(relatedInternalConcept arcLength lineMeasure)	Mid-level-ontology.kif 5290-5290	arc length is internally related to line measure
(subrelation arcLength lineMeasure)	Mid-level-ontology.kif 5281-5281	arc length is a subrelation of line measure
(termFormat ChineseLanguage lineMeasure "线测量")	domainEnglishFormat.kif 34545-34545	arc length is a subrelation of line measure
(termFormat ChineseTraditionalLanguage lineMeasure "線測量")	domainEnglishFormat.kif 34544-34544	arc length is a subrelation of line measure
(termFormat EnglishLanguage lineMeasure "line measure")	domainEnglishFormat.kif 34543-34543	arc length is a subrelation of line measure

antecedent

(=>
    (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

consequent

(=> (and (equal ?S CircleSector) (equal ?C Circle) (geometricPart ?S ?C) (equal ?L ClosedLineSegment) (sideOfFigure ?L ?S)) (lineMeasure ?L (RadiusFn ?C)))	Mid-level-ontology.kif 5238-5245	If a geometric figure is equal to circle sector and a circle is equal to circle and the circle is a geometric part of the geometric figure and an one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure, then the radius of the circle is a line measure of the one dimensional figure
(=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C)))))	Mid-level-ontology.kif 5466-5472	If an one dimensional figure is equal to diameter line, then there exists a circle such that the circle is equal to circle and the diameter of the circle is a line measure of the one dimensional figure
(=> (instance ?A CentralAngle) (exists (?L ?L2 ?C ?R) (and (equal ?L ClosedLineSegment) (sideOfFigure ?L ?A) (equal ?L2 ClosedLineSegment) (sideOfFigure ?L2 ?A) (equal ?C Circle) (geometricPart ?A ?C) (pointOfIntersection ?L ?L2 (CenterOfCircleFn ?C)) (lineMeasure ?L ?R) (lineMeasure ?L2 ?R) (radius ?C ?R))))	Mid-level-ontology.kif 5349-5363	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH))	Mid-level-ontology.kif 5171-5173	If the size of square is an one dimensional figure, then a length measure is a line measure of the one dimensional figure

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

KB Term:			Term intersection

English Word: