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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 16635-16637
(domain geometricDistance 1 GeometricPoint) Merge.kif 16632-16632 The number 1 argument of geometric distance is an instance of geometric point
(domain geometricDistance 2 GeometricPoint) Merge.kif 16633-16633 The number 2 argument of geometric distance is an instance of geometric point
(domain geometricDistance 3 LengthMeasure) Merge.kif 16634-16634 The number 3 argument of geometric distance is an instance of length measure
(instance geometricDistance SingleValuedRelation) Merge.kif 16630-16630 geometric distance is an instance of single valued relation
(instance geometricDistance TernaryPredicate) Merge.kif 16629-16629 geometric distance is an instance of ternary predicate
(instance geometricDistance TotalValuedRelation) Merge.kif 16631-16631 geometric distance is an instance of total valued relation

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 25735-25735
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") domainEnglishFormat.kif 25734-25734
(termFormat EnglishLanguage geometricDistance "geometric distance") domainEnglishFormat.kif 25733-25733

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 5263-5268
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 16639-16641

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 5287-5295
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Mid-level-ontology.kif 11058-11066
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 16639-16641
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Merge.kif 7218-7224


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners