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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 17757-17759
(subclass GeometricPoint GeometricFigure) Merge.kif 17756-17756 GeometricPointGeometricFiguresubclass では %n

appearance as argument number 2

(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17751-17751 GeometricFigureGeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigureexhaustively partitioned %n
(range CenterOfCircleFn GeometricPoint) Merge.kif 7640-7640 CenterOfCircleFnrangeGeometricPoint のインスタンス では %n
(termFormat ChineseLanguage GeometricPoint "几何点") domainEnglishFormat.kif 25836-25836
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點") domainEnglishFormat.kif 25835-25835
(termFormat EnglishLanguage GeometricPoint "geometric point") domainEnglishFormat.kif 25834-25834

appearance as argument number 3

(domain geometricDistance 1 GeometricPoint) Merge.kif 17944-17944 geometricDistance の数値 1 引数は GeometricPointinstance では %n
(domain geometricDistance 2 GeometricPoint) Merge.kif 17945-17945 geometricDistance の数値 2 引数は GeometricPointinstance では %n
(domain pointOfFigure 1 GeometricPoint) Merge.kif 17797-17797 pointOfFigure の数値 1 引数は GeometricPointinstance では %n
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 17812-17812 pointOfIntersection の数値 3 引数は GeometricPointinstance では %n


        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4791-4805

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