| 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