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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17566-17567
(domain geometricPart 1 GeometricFigure) Merge.kif 17564-17564 几何部分 的 1 数量 是 几何图instance
(domain geometricPart 2 GeometricFigure) Merge.kif 17565-17565 几何部分 的 2 数量 是 几何图instance
(instance geometricPart BinaryPredicate) Merge.kif 17562-17562 几何部分二元谓语instance
(instance geometricPart PartialOrderingRelation) Merge.kif 17563-17563 几何部分偏序关系instance

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 17576-17576 图的角度几何部分subrelation
(subrelation pointOfFigure geometricPart) Merge.kif 17569-17569 图形的顶点几何部分subrelation
(subrelation sideOfFigure geometricPart) Mid-level-ontology.kif 4704-4704 图形的边几何部分subrelation
(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 4609-4618


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