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 17844-17845
(domain geometricPart 1 GeometricFigure) Merge.kif 17842-17842 幾何部分, 1 and 幾何圖
(domain geometricPart 2 GeometricFigure) Merge.kif 17843-17843 幾何部分, 2 and 幾何圖
(instance geometricPart BinaryPredicate) Merge.kif 17840-17840 幾何部分 and BinaryPredicate
(instance geometricPart PartialOrderingRelation) Merge.kif 17841-17841 幾何部分 and PartialOrderingRelation

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 17854-17854 子關係 圖的角度 and 幾何部分
(subrelation pointOfFigure geometricPart) Merge.kif 17847-17847 子關係 點圖 and 幾何部分
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4977-4977 子關係 圖的一面 and 幾何部分
(termFormat ChineseLanguage geometricPart "几何部分") domainEnglishFormat.kif 25824-25824
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分") domainEnglishFormat.kif 25823-25823
(termFormat EnglishLanguage geometricPart "geometric part") domainEnglishFormat.kif 25822-25822


        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (instance ?PART OneDimensionalFigure))
Mid-level-ontology.kif 4877-4881


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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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