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 16654-16655
(domain pointOfFigure 1 GeometricPoint) Merge.kif 16652-16652 The number 1 argument of point of figure is an instance of geometric point
(domain pointOfFigure 2 GeometricFigure) Merge.kif 16653-16653 The number 2 argument of point of figure is an instance of geometric figure
(instance pointOfFigure BinaryPredicate) Merge.kif 16651-16651 point of figure is an instance of binary predicate
(subrelation pointOfFigure geometricPart) Merge.kif 16650-16650 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 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 16671-16675
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7276-7282
(=>
    (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