lineMeasure |
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 18154-18155 | |
(domain lineMeasure 1 OneDimensionalFigure) | Merge.kif 18152-18152 | |
(domain lineMeasure 2 LengthMeasure) | Merge.kif 18153-18153 | |
(instance lineMeasure BinaryPredicate) | Merge.kif 18150-18150 | |
(instance lineMeasure TotalValuedRelation) | Merge.kif 18151-18151 |
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 5678-5678 | |
(subrelation arcLength lineMeasure) | Mid-level-ontology.kif 5669-5669 | |
(termFormat ChineseLanguage lineMeasure "线测量") | domainEnglishFormat.kif 34528-34528 | |
(termFormat ChineseTraditionalLanguage lineMeasure "線測量") | domainEnglishFormat.kif 34527-34527 | |
(termFormat EnglishLanguage lineMeasure "line measure") | domainEnglishFormat.kif 34526-34526 |
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 5753-5767 |
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 5626-5633 | |
(=> (equal ?D DiameterLine) (exists (?C) (and (equal ?C Circle) (lineMeasure ?D (DiameterFn ?C))))) |
Mid-level-ontology.kif 5854-5860 | |
(=> (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 5737-5751 | |
(=> (sideOfFigure ?SIDE Square) (lineMeasure ?SIDE ?LENGTH)) |
Mid-level-ontology.kif 5559-5561 |
![]() |
![]() |