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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - pointOfFigure
pointOfFigure

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


(documentation pointOfFigure ChineseLanguage "(pointOfFigure ?POINT ?FIGURE)的意思是 GeometricPoint ?POINT 是 GeometricFigure ?FIGURE 的一部分。") chinese_format.kif 3986-3987
(documentation pointOfFigure EnglishLanguage "(pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE.") Merge.kif 17671-17672
(domain pointOfFigure 1 GeometricPoint) Merge.kif 17669-17669
(domain pointOfFigure 2 GeometricFigure) Merge.kif 17670-17670
(instance pointOfFigure BinaryPredicate) Merge.kif 17668-17668
(subrelation pointOfFigure geometricPart) Merge.kif 17667-17667

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


(format ChineseLanguage pointOfFigure "%1 %n 是 %2 的顶点") chinese_format.kif 794-794
(format EnglishLanguage pointOfFigure "%1 is %n a vertex of %2") english_format.kif 799-799
(format JapaneseLanguage pointOfFigure "%1 の vertex は %2 では %n") english_format.kif 800-800
(termFormat ChineseLanguage pointOfFigure "图形的顶点") chinese_format.kif 795-795
(termFormat ChineseLanguage pointOfFigure "点图") domainEnglishFormat.kif 46342-46342
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") domainEnglishFormat.kif 46341-46341
(termFormat EnglishLanguage pointOfFigure "point of figure") domainEnglishFormat.kif 46340-46340

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 4926-4931

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4950-4958
(=>
    (and
        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
        (and
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4779-4793
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Mid-level-ontology.kif 13297-13305
(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 17688-17692
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7618-7624
(=>
    (tangent ?LINE ?CIRCLE)
    (exists (?POINT1)
        (and
            (pointOfFigure ?POINT1 ?LINE)
            (pointOfFigure ?POINT1 ?CIRCLE)
            (forall (?POINT2)
                (=>
                    (and
                        (pointOfFigure ?POINT2 ?LINE)
                        (pointOfFigure ?POINT2 ?CIRCLE))
                    (equal ?POINT1 ?POINT2))))))
Mid-level-ontology.kif 4744-4755


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