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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricPoint
GeometricPoint

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


(documentation GeometricPoint ChineseLanguage "这是零维度 GeometricFigure 的类别,也就是有 定位但是在各个维度都没有延伸的 GeometricFigure 类别。") chinese_format.kif 3970-3971
(documentation GeometricPoint EnglishLanguage "The class of zero-dimensional GeometricFigures, i.e. the class of GeometricFigures that have position but lack extension in any dimension.") Merge.kif 17787-17789
(subclass GeometricPoint GeometricFigure) Merge.kif 17786-17786 GeometricPoint est une sous-classe de GeometricFigure

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


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17781-17781 GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure
(range CenterOfCircleFn GeometricPoint) Merge.kif 7640-7640 Le domaine de CenterOfCircleFn est une instance de GeometricPoint
(termFormat ChineseLanguage GeometricPoint "几何点") domainEnglishFormat.kif 25830-25830
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點") domainEnglishFormat.kif 25829-25829
(termFormat EnglishLanguage GeometricPoint "geometric point") domainEnglishFormat.kif 25828-25828

appearance as argument number 3
-------------------------


(domain geometricDistance 1 GeometricPoint) Merge.kif 17974-17974 Le nombre 1 argument de geometricDistance est une instance de GeometricPoint
(domain geometricDistance 2 GeometricPoint) Merge.kif 17975-17975 Le nombre 2 argument de geometricDistance est une instance de GeometricPoint
(domain pointOfFigure 1 GeometricPoint) Merge.kif 17827-17827 Le nombre 1 argument de pointOfFigure est une instance de GeometricPoint
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 17842-17842 Le nombre 3 argument de pointOfIntersection est une instance de GeometricPoint

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


(=>
    (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 4819-4833


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