Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - geometricDistance
geometricDistance

appearance as argument number 1
-------------------------


(instance geometricDistance TernaryPredicate) Merge.kif 18311-18311 geometric distance is an instance of ternary predicate
(instance geometricDistance SingleValuedRelation) Merge.kif 18312-18312 geometric distance is an instance of single valued relation
(instance geometricDistance TotalValuedRelation) Merge.kif 18313-18313 geometric distance is an instance of total valued relation
(domain geometricDistance 1 GeometricPoint) Merge.kif 18314-18314 The number 1 argument of geometric distance is an instance of geometric point
(domain geometricDistance 2 GeometricPoint) Merge.kif 18315-18315 The number 2 argument of geometric distance is an instance of geometric point
(domain geometricDistance 3 LengthMeasure) Merge.kif 18316-18316 The number 3 argument of geometric distance is an instance of length measure
(documentation geometricDistance EnglishLanguage "(geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2.") Merge.kif 18317-18319 The number 3 argument of geometric distance is an instance of length measure

appearance as argument number 2
-------------------------


(relatedInternalConcept arcLength geometricDistance) Mid-level-ontology.kif 5834-5834 arc length is internally related to geometric distance
(format EnglishLanguage geometricDistance "%1 %p{is} %n{isn't} geometric distance %2 for %3") domainEnglishFormat.kif 1099-1099 arc length is internally related to geometric distance
(format ChineseTraditionalLanguage geometricDistance "%1 %p{是} %n{不是} 對於 %3 的 geometric 距離 %2 ") domainEnglishFormat.kif 1100-1100 arc length is internally related to geometric distance
(format ChineseLanguage geometricDistance "%1 %p{是} %n{不是} 对于 %3 的 geometric 距离 %2 ") domainEnglishFormat.kif 1101-1101 arc length is internally related to geometric distance
(termFormat EnglishLanguage geometricDistance "geometric distance") domainEnglishFormat.kif 25814-25814 arc length is internally related to geometric distance
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") domainEnglishFormat.kif 25815-25815 arc length is internally related to geometric distance
(termFormat ChineseLanguage geometricDistance "几何距离") domainEnglishFormat.kif 25816-25816 arc length is internally related to geometric distance

antecedent
-------------------------


(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18321-18323 If X is geometric distance Y for Z, then Y is geometric distance X for Z
(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 5736-5741 If equal the center of circle of X and Y, Z is a vertex of X, and Z is geometric distance Y for W, then equal the radius of X and W

consequent
-------------------------


(=>
    (and
        (radius ?CIRCLE ?RADIUS)
        (pointOfFigure ?POINT ?CIRCLE))
    (exists (?CENTER)
        (and
            (equal ?CENTER
                (CenterOfCircleFn ?CIRCLE))
            (geometricDistance ?CENTER ?POINT ?RADIUS))))		 Merge.kif 7818-7826 If the radius of X is Y and Z is a vertex of X, then there exists W such that equal W, the center of circle of X, and W is geometric distance Z for Y
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18321-18323 If X is geometric distance Y for Z, then Y is geometric distance X for Z
(=>
    (and
        (arcLength ?A ?L)
        (equal ?A CircularArc))
    (exists (?P ?P2)
        (and
            (pointOfFigure ?P ?A)
            (pointOfFigure ?P2 ?A)
            (not
                (equal ?P ?P2))
            (geometricDistance ?P ?P2 ?L))))		 Mid-level-ontology.kif 5841-5851 If X is the LengthMeasure of Y and equal Y and circular arc, then there exist Z, W such that Z is a vertex of Y, W is a vertex of Y, equal Z, W, and Z is geometric distance W for X
(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (pointOfFigure ?PT1 ?OBJ)
        (pointOfFigure ?PT2 ?OBJ)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (and
            (geometricDistance ?PT1 ?CENTER ?DIST)
            (geometricDistance ?PT2 ?CENTER ?DIST))))		 Mid-level-ontology.kif 6084-6093 If X is an attribute of Y, Z is a vertex of Y, W is a vertex of Y, and X is an instance of sphere, then there exist V, U such that Z is geometric distance V for U, and W is geometric distance V for U


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners