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 16657-16658
(domain pointOfFigure 1 GeometricPoint) Merge.kif 16655-16655
(domain pointOfFigure 2 GeometricFigure) Merge.kif 16656-16656
(instance pointOfFigure BinaryPredicate) Merge.kif 16654-16654
(subrelation pointOfFigure geometricPart) Merge.kif 16653-16653

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 802-802
(format EnglishLanguage pointOfFigure "%1 の vertex は %2 では %n") english_format.kif 803-803
(termFormat ChineseLanguage pointOfFigure "图形的顶点") chinese_format.kif 795-795
(termFormat ChineseLanguage pointOfFigure "点图") domainEnglishFormat.kif 46351-46351
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") domainEnglishFormat.kif 46350-46350
(termFormat EnglishLanguage pointOfFigure "point of figure") domainEnglishFormat.kif 46349-46349

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


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

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 5293-5301
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Mid-level-ontology.kif 11085-11093
(=>
    (attribute ?O RoundShape)
    (forall (?P)
        (and
            (pointOfFigure ?P ?O)
            (instance ?TO TwoDimensionalObject)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 5139-5148
(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 16674-16678
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7277-7283
(=>
    (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 5105-5116


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