| 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 16650-16651 | |
| (domain geometricPart 1 GeometricFigure) | Merge.kif 16648-16648 | |
| (domain geometricPart 2 GeometricFigure) | Merge.kif 16649-16649 | |
| (instance geometricPart BinaryPredicate) | Merge.kif 16646-16646 | |
| (instance geometricPart PartialOrderingRelation) | Merge.kif 16647-16647 |
| 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 16660-16660 | |
| (subrelation pointOfFigure geometricPart) | Merge.kif 16653-16653 | |
| (subrelation sideOfFigure geometricPart) | Mid-level-ontology.kif 5281-5281 | |
| (termFormat ChineseLanguage geometricPart "几何部分") | domainEnglishFormat.kif 25822-25822 | |
| (termFormat ChineseTraditionalLanguage geometricPart "幾何部分") | domainEnglishFormat.kif 25821-25821 | |
| (termFormat EnglishLanguage geometricPart "geometric part") | domainEnglishFormat.kif 25820-25820 |
| consequent |
|
|
| (=> (instance ?POLYGON Polygon) (=> (geometricPart ?PART ?POLYGON) (or (sideOfFigure ?PART ?POLYGON) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?PART ?SIDE)))))) |
Mid-level-ontology.kif 5192-5201 |
|
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