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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geometricPart

Sigma KEE - geometricPart
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 17115-17116
(domain geometricPart 1 GeometricFigure) Merge.kif 17113-17113 The number 1 argument of geometric part is an instance of geometric figure
(domain geometricPart 2 GeometricFigure) Merge.kif 17114-17114 The number 2 argument of geometric part is an instance of geometric figure
(instance geometricPart BinaryPredicate) Merge.kif 17111-17111 geometric part is an instance of binary predicate
(instance geometricPart PartialOrderingRelation) Merge.kif 17112-17112 geometric part is an instance of partial ordering relation

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 17125-17125 angle of figure is a subrelation of geometric part
(subrelation pointOfFigure geometricPart) Merge.kif 17118-17118 point of figure is a subrelation of geometric part
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4677-4677 side of figure is a subrelation of geometric part
(termFormat ChineseLanguage geometricPart "几何部分") domainEnglishFormat.kif 25815-25815
(termFormat ChineseTraditionalLanguage geometricPart "幾何部分") domainEnglishFormat.kif 25814-25814
(termFormat EnglishLanguage geometricPart "geometric part") domainEnglishFormat.kif 25813-25813

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


(=>
    (instance ?POLYGON Polygon)
    (=>
        (geometricPart ?PART ?POLYGON)
        (or
            (sideOfFigure ?PART ?POLYGON)
            (exists (?SIDE)
                (and
                    (sideOfFigure ?SIDE ?POLYGON)
                    (geometricPart ?PART ?SIDE))))))
Mid-level-ontology.kif 4588-4597


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