Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - lineMeasure
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 The number 1 argument of line measure is an instance of one dimensional figure
(domain lineMeasure 2 LengthMeasure) Merge.kif 18153-18153 The number 2 argument of line measure is an instance of length measure
(instance lineMeasure BinaryPredicate) Merge.kif 18150-18150 line measure is an instance of binary predicate
(instance lineMeasure TotalValuedRelation) Merge.kif 18151-18151 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 5678-5678 arc length is internally related to line measure
(subrelation arcLength lineMeasure) Mid-level-ontology.kif 5669-5669 arc length is a subrelation of line measure
(termFormat ChineseLanguage lineMeasure "线测量") domainEnglishFormat.kif 34528-34528 arc length is a subrelation of line measure
(termFormat ChineseTraditionalLanguage lineMeasure "線測量") domainEnglishFormat.kif 34527-34527 arc length is a subrelation of line measure
(termFormat EnglishLanguage lineMeasure "line measure") domainEnglishFormat.kif 34526-34526 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 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


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