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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geometricDistance

 Sigma KEE - geometricDistance
geometricDistance

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


(documentation geometricDistance ChineseLanguage "(geometricDistance ?POINT1 ?POINT2 ?LENGTH) 的意思是 ?LENGTH 是两个 GeometricPoint ?POINT1 和 ?POINT2 之间的距离。") chinese_format.kif 3997-3998
(documentation geometricDistance EnglishLanguage "(geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2.") Merge.kif 17999-18001
(domain geometricDistance 1 GeometricPoint) Merge.kif 17996-17996 Die Zahl 1 Argument von geometricDistance ist ein fall von GeometricPoint %n{nicht}
(domain geometricDistance 2 GeometricPoint) Merge.kif 17997-17997 Die Zahl 2 Argument von geometricDistance ist ein fall von GeometricPoint %n{nicht}
(domain geometricDistance 3 LengthMeasure) Merge.kif 17998-17998 Die Zahl 3 Argument von geometricDistance ist ein fall von LengthMeasure %n{nicht}
(instance geometricDistance SingleValuedRelation) Merge.kif 17994-17994 geometricDistance ist ein fall von SingleValuedRelation %n{nicht}
(instance geometricDistance TernaryPredicate) Merge.kif 17993-17993 geometricDistance ist ein fall von TernaryPredicate %n{nicht}
(instance geometricDistance TotalValuedRelation) Merge.kif 17995-17995 geometricDistance ist ein fall von TotalValuedRelation %n{nicht}

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


(format ChineseLanguage geometricDistance "%1 %p{是} %n{不是} 对于 %3 的 geometric 距离 %2 ") domainEnglishFormat.kif 1101-1101
(format ChineseTraditionalLanguage geometricDistance "%1 %p{是} %n{不是} 對於 %3 的 geometric 距離 %2 ") domainEnglishFormat.kif 1100-1100
(format EnglishLanguage geometricDistance "%1 %p{is} %n{isn't} geometric distance %2 for %3") domainEnglishFormat.kif 1099-1099
(termFormat ChineseLanguage geometricDistance "几何距离") domainEnglishFormat.kif 25812-25812
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") domainEnglishFormat.kif 25811-25811
(termFormat EnglishLanguage geometricDistance "geometric distance") domainEnglishFormat.kif 25810-25810

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 4960-4965
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18003-18005

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 4989-4997
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18003-18005
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Merge.kif 7665-7671


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