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 17862-17864
(domain geometricDistance 1 GeometricPoint) Merge.kif 17859-17859 geometricDistance の数値 1 引数は GeometricPoint の instance では %n
(domain geometricDistance 2 GeometricPoint) Merge.kif 17860-17860 geometricDistance の数値 2 引数は GeometricPoint の instance では %n
(domain geometricDistance 3 LengthMeasure) Merge.kif 17861-17861 geometricDistance の数値 3 引数は 長さ測定 の instance では %n
(instance geometricDistance SingleValuedRelation) Merge.kif 17857-17857 geometricDistance は 一価関係 の instance では %n
(instance geometricDistance TernaryPredicate) Merge.kif 17856-17856 geometricDistance は 3進述語 の instance では %n
(instance geometricDistance TotalValuedRelation) Merge.kif 17858-17858 geometricDistance は 合計値関係 の instance では %n

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

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 4933-4938
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 17866-17868

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 4957-4965
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Mid-level-ontology.kif 13320-13328
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 17866-17868
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Merge.kif 7637-7643


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