| appearance as argument number 1 |
|
| (documentation interiorPart ChineseLanguage "(interiorPart ?OBJ1 ?OBJ2)的意思是 ?OBJ1 是 ?OBJ2 的部分，而 ?OBJ1 和 ?OBJ2 的任何 superficialPart 之间并没有重叠的部分。") | chinese_format.kif 2841-2842 | |
| (documentation interiorPart EnglishLanguage "(interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2.") | Merge.kif 9818-9820 | |
| (documentation interiorPart JapaneseLanguage "(interiorPart ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2の部分であり、?OBJ1 と superficialPart ?OBJ2 の間に重複がないことを意味する。") | japanese_format.kif 1585-1586 | |
| (domain interiorPart 1 Object) | Merge.kif 9814-9814 | The number 1 argument of interior part is an instance of object |
| (domain interiorPart 2 Object) | Merge.kif 9815-9815 | The number 2 argument of interior part is an instance of object |
| (instance interiorPart AsymmetricRelation) | Merge.kif 9816-9816 | interior part is an instance of asymmetric relation |
| (instance interiorPart TransitiveRelation) | Merge.kif 9817-9817 | interior part is an instance of transitive relation |
| (subrelation interiorPart part) | Merge.kif 9813-9813 | interior part is a subrelation of part |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage interiorPart "%1 %n 是 %2 的 interiorPart") | chinese_format.kif 375-375 | |
| (format EnglishLanguage interiorPart "%1 is %n a interior part of %2") | english_format.kif 376-376 | |
| (format FrenchLanguage interiorPart "%1 est %n une partie interieur de %2") | french_format.kif 216-216 | |
| (format ItalianLanguage interiorPart "%1 è %n una parte interiore di %2") | relations-it.txt 152-152 | |
| (format JapaneseLanguage interiorPart "%1 は %2 の interior 部分では %n") | japanese_format.kif 2022-2022 | |
| (format PortugueseLanguage interiorPart "%1 e' %n uma parte interior de %2") | portuguese_format.kif 168-168 | |
| (format cz interiorPart "%1 %p{je} %n{nen�} a interior part of %2") | relations-cz.txt 223-223 | |
| (format de interiorPart "%1 ist ein innenteil von %2 %n{nicht}") | relations-de.txt 501-501 | |
| (format hi interiorPart "%1 %2 kaa aantarika bhaaga %n hai") | relations-hindi.txt 191-191 | |
| (format ro interiorPart "%1 %n{nu} este o parte interior%t{interioarã} a lui %2") | relations-ro.kif 236-236 | |
| (format sv interiorPart "%1 är %n{inte} en inre del av %2") | relations-sv.txt 233-233 | |
| (format tg interiorPart "%1 %n ay saloob ng %2") | relations-tg.txt 307-307 | |
| (termFormat ChineseLanguage interiorPart "内在部分") | chinese_format.kif 376-376 | |
| (termFormat ChineseLanguage interiorPart "内饰部分") | domainEnglishFormat.kif 30479-30479 | |
| (termFormat ChineseTraditionalLanguage interiorPart "內飾部分") | domainEnglishFormat.kif 30478-30478 | |
| (termFormat EnglishLanguage interiorPart "interior part") | domainEnglishFormat.kif 30477-30477 | |
| (termFormat de interiorPart "innenteil") | terms-de.txt 156-156 | |
| (termFormat tg interiorPart "bahagi saloob") | relations-tg.txt 308-308 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5966-5970 |
|
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9822-9828 |
|
| consequent |
|
|
| (=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART))))))) |
Mid-level-ontology.kif 10318-10327 |
|
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 490-495 |
|
| (=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus)))) |
VirusProteinAndCellPart.kif 388-393 |
|
| (=> (instance ?S Skeleton) (exists (?A) (and (instance ?A Animal) (interiorPart ?S ?A)))) |
Mid-level-ontology.kif 13011-13016 |
|
| (=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 1186-1191 |
|
| (=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1))))) |
Merge.kif 9786-9793 |
|
|
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