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 17567-17568
(domain pointOfFigure 1 GeometricPoint) Merge.kif 17565-17565 图形的顶点 的 1 数量 是 几何点instance
(domain pointOfFigure 2 GeometricFigure) Merge.kif 17566-17566 图形的顶点 的 2 数量 是 几何图instance
(instance pointOfFigure BinaryPredicate) Merge.kif 17564-17564 图形的顶点二元谓语instance
(subrelation pointOfFigure geometricPart) Merge.kif 17563-17563 图形的顶点几何部分subrelation

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 46339-46339
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") domainEnglishFormat.kif 46338-46338
(termFormat EnglishLanguage pointOfFigure "point of figure") domainEnglishFormat.kif 46337-46337

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


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

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4712-4720
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Mid-level-ontology.kif 12915-12923
(=>
    (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 4551-4560
(=>
    (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT)
    (and
        (pointOfFigure ?POINT ?FIGURE1)
        (pointOfFigure ?POINT ?FIGURE2)))
Merge.kif 17584-17588
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7555-7561
(=>
    (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 4518-4529


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