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 16642-16643
(domain pointOfFigure 1 GeometricPoint) Merge.kif 16640-16640 The number 1 argument of point of figure is an instance of geometric point
(domain pointOfFigure 2 GeometricFigure) Merge.kif 16641-16641 The number 2 argument of point of figure is an instance of geometric figure
(instance pointOfFigure BinaryPredicate) Merge.kif 16639-16639 point of figure is an instance of binary predicate
(subrelation pointOfFigure geometricPart) Merge.kif 16638-16638 point of figure is a subrelation of geometric part

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 46285-46285
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") domainEnglishFormat.kif 46284-46284
(termFormat EnglishLanguage pointOfFigure "point of figure") domainEnglishFormat.kif 46283-46283

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 16659-16663
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7264-7270
(=>
    (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