| 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 9597-9599 | |
| (instance interiorPart AsymmetricRelation) | Merge.kif 9595-9595 | |
| (instance interiorPart TransitiveRelation) | Merge.kif 9596-9596 | |
| (subrelation interiorPart part) | Merge.kif 9594-9594 |
| 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 | |
| (termFormat ChineseLanguage interiorPart "内在部分") | chinese_format.kif 376-376 | |
| (termFormat ChineseLanguage interiorPart "内饰部分") | domainEnglishFormat.kif 30438-30438 | |
| (termFormat ChineseTraditionalLanguage interiorPart "內飾部分") | domainEnglishFormat.kif 30437-30437 | |
| (termFormat EnglishLanguage interiorPart "interior part") | domainEnglishFormat.kif 30436-30436 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 4732-4736 | |
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9601-9607 |
| consequent |
|
|
| (=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART))))))) |
Mid-level-ontology.kif 8697-8706 | |
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 435-440 | |
| (=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus)))) |
VirusProteinAndCellPart.kif 332-337 | |
| (=> (instance ?S Skeleton) (exists (?A) (and (instance ?A Animal) (interiorPart ?S ?A)))) |
Mid-level-ontology.kif 11143-11148 | |
| (=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 665-670 | |
| (=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1))))) |
Merge.kif 9567-9574 |
|
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