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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - geometricPart

appearance as argument number 1

(documentation geometricPart ChineseLanguage "(geometricPart ?PART ?WHOLE)的意思是 GeometricFigure ?PART 是 GeometricFigure ?WHOLE 的一部分。") chinese_format.kif 3984-3985
(documentation geometricPart EnglishLanguage "(geometricPart ?PART ?WHOLE) means that the GeometricFigure ?PART is part of the GeometricFigure ?WHOLE.") Merge.kif 17792-17793
(domain geometricPart 1 GeometricFigure) Merge.kif 17790-17790 geometricPart の数値 1 引数は GeometricFigureinstance では %n
(domain geometricPart 2 GeometricFigure) Merge.kif 17791-17791 geometricPart の数値 2 引数は GeometricFigureinstance では %n
(instance geometricPart BinaryPredicate) Merge.kif 17788-17788 geometricPart2進述語instance では %n
(instance geometricPart PartialOrderingRelation) Merge.kif 17789-17789 geometricPart半順序関係instance では %n

appearance as argument number 2

(format ChineseLanguage geometricPart "%2 %n 是 %1 的 geometric 部分") domainEnglishFormat.kif 1105-1105
(format ChineseTraditionalLanguage geometricPart "%2 %n 是 %1 的 geometric 部分") domainEnglishFormat.kif 1104-1104
(format EnglishLanguage geometricPart "%2 is %n a geometric part of %1") domainEnglishFormat.kif 1103-1103
(subrelation angleOfFigure geometricPart) Merge.kif 17802-17802 angleOfFiguregeometricPartsubrelation では %n
(subrelation pointOfFigure geometricPart) Merge.kif 17795-17795 pointOfFiguregeometricPartsubrelation では %n
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4950-4950 sideOfFiguregeometricPartsubrelation では %n
(termFormat ChineseLanguage geometricPart "几何部分") domainEnglishFormat.kif 25830-25830
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分") domainEnglishFormat.kif 25829-25829
(termFormat EnglishLanguage geometricPart "geometric part") domainEnglishFormat.kif 25828-25828


        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (instance ?PART OneDimensionalFigure))
Mid-level-ontology.kif 4852-4856


    (instance ?POLYGON Polygon)
    (exists (?SIDE)
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))
Mid-level-ontology.kif 4858-4863

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