| 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 9142-9144 | |
| (instance interiorPart AsymmetricRelation) | Merge.kif 9140-9140 | |
| (instance interiorPart TransitiveRelation) | Merge.kif 9141-9141 | |
| (subrelation interiorPart part) | Merge.kif 9139-9139 |
| 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 379-379 | |
| (termFormat ChineseLanguage interiorPart "内在部分") | chinese_format.kif 376-376 | |
| (termFormat ChineseLanguage interiorPart "内饰部分") | domainEnglishFormat.kif 30445-30445 | |
| (termFormat ChineseTraditionalLanguage interiorPart "內飾部分") | domainEnglishFormat.kif 30444-30444 | |
| (termFormat EnglishLanguage interiorPart "interior part") | domainEnglishFormat.kif 30443-30443 |
| antecedent |
|
|
| (=> (and (instance ?B Bubble) (interiorPart ?P ?B)) (attribute ?P Gas)) |
Mid-level-ontology.kif 5313-5317 | |
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 9146-9152 |
| consequent |
|
|
| (=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART))))))) |
Mid-level-ontology.kif 8800-8809 | |
| (=> (instance ?MEMBRANE CellMembraneInternal) (exists (?CELL) (and (instance ?CELL Cell) (interiorPart ?MEMBRANE ?CELL)))) |
VirusProteinAndCellPart.kif 364-369 | |
| (=> (instance ?OBJ1 EukaryoticCell) (exists (?OBJ2) (and (interiorPart ?OBJ2 ?OBJ1) (instance ?OBJ2 CellNucleus)))) |
VirusProteinAndCellPart.kif 330-335 | |
| (=> (instance ?S Skeleton) (exists (?A) (and (instance ?A Animal) (interiorPart ?S ?A)))) |
Mid-level-ontology.kif 9880-9885 | |
| (=> (instance ?VIR VacciniaVirion) (exists (?ENV) (and (instance ?ENV VirusCoreEnvelope) (interiorPart ?ENV ?VIR)))) |
VirusProteinAndCellPart.kif 594-599 | |
| (=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1))))) |
Merge.kif 9112-9119 |
|
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