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 18111-18113
(domain geometricDistance 1 GeometricPoint) Merge.kif 18108-18108 Il numero 1 argomenti di geometricDistance è un istanza di GeometricPoint
(domain geometricDistance 2 GeometricPoint) Merge.kif 18109-18109 Il numero 2 argomenti di geometricDistance è un istanza di GeometricPoint
(domain geometricDistance 3 LengthMeasure) Merge.kif 18110-18110 Il numero 3 argomenti di geometricDistance è un istanza di MisuraDiLunghezza
(instance geometricDistance SingleValuedRelation) Merge.kif 18106-18106 geometricDistance è un' istanza di RelazioneMonovalente
(instance geometricDistance TernaryPredicate) Merge.kif 18105-18105 geometricDistance è un' istanza di PredicatoTernario
(instance geometricDistance TotalValuedRelation) Merge.kif 18107-18107 geometricDistance è un' istanza di RelazioneAValoreTotale

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
(relatedInternalConcept arcLength geometricDistance) Mid-level-ontology.kif 5703-5703 arcLength è interamente correlato a geometricDistance
(termFormat ChineseLanguage geometricDistance "几何距离") domainEnglishFormat.kif 25840-25840 arcLength è interamente correlato a geometricDistance
(termFormat ChineseTraditionalLanguage geometricDistance "幾何距離") domainEnglishFormat.kif 25839-25839 arcLength è interamente correlato a geometricDistance
(termFormat EnglishLanguage geometricDistance "geometric distance") domainEnglishFormat.kif 25838-25838 arcLength è interamente correlato a geometricDistance

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 5615-5620
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18115-18117

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


(=>
    (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 5710-5720
(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 5953-5961
(=>
    (geometricDistance ?POINT1 ?POINT2 ?LENGTH)
    (geometricDistance ?POINT2 ?POINT1 ?LENGTH))		 Merge.kif 18115-18117
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Merge.kif 7685-7691


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