| appearance as argument number 1 |
|
| (documentation superficialPart ChineseLanguage "(superficialPart ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 是 ?OBJ2 没有自身的内在部分的一个部分，(或者直观的说，只有和 ?OBJ2 的部分重叠，在外部和 ?OBJ2 的分体补充部分lianxi着)。这个也是一个传递关系，受 MereologicalSumFn 和 MereologicalProductFn 的封闭。") | chinese_format.kif 2834-2837 | |
| (documentation superficialPart EnglishLanguage "(superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the mereological complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn.") | Merge.kif 8950-8955 | |
| (domain superficialPart 1 Object) | Merge.kif 8947-8947 | |
| (domain superficialPart 2 Object) | Merge.kif 8948-8948 | |
| (instance superficialPart IrreflexiveRelation) | Merge.kif 8944-8944 | |
| (instance superficialPart PartialValuedRelation) | Merge.kif 8946-8946 | |
| (instance superficialPart TransitiveRelation) | Merge.kif 8945-8945 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage superficialPart "%1 %n 是 %2 的 superficialPart") | chinese_format.kif 371-371 | |
| (format EnglishLanguage superficialPart "%1 is %n a superficial part of %2") | english_format.kif 375-375 | |
| (subrelation bottom superficialPart) | Merge.kif 8998-8998 | |
| (subrelation side superficialPart) | Merge.kif 9028-9028 | |
| (subrelation surface superficialPart) | Merge.kif 8967-8967 | |
| (subrelation top superficialPart) | Merge.kif 9013-9013 | |
| (termFormat ChineseLanguage superficialPart "肤浅的部分") | domainEnglishFormat.kif 56059-56059 | |
| (termFormat ChineseLanguage superficialPart "表面部分") | chinese_format.kif 372-372 | |
| (termFormat ChineseTraditionalLanguage superficialPart "膚淺的部分") | domainEnglishFormat.kif 56058-56058 | |
| (termFormat EnglishLanguage superficialPart "superficial part") | domainEnglishFormat.kif 56057-56057 |
| antecedent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 16344-16353 | |
| (=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S)) |
Mid-level-ontology.kif 27923-27927 | |
| (=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP)) |
Mid-level-ontology.kif 1674-1678 | |
| (=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1))))) |
Merge.kif 8957-8964 | |
| (=> (superficialPart ?PART ?WHOLE) (part ?PART ?WHOLE)) |
Merge.kif 8940-8942 |
| consequent |
|
|
| (=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR)))) |
Merge.kif 16344-16353 | |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1860-1865 | |
| (=> (and (instance ?ALT SurfaceChange) (patient ?ALT ?OBJ)) (exists (?PART ?PROPERTY) (and (superficialPart ?PART ?OBJ) (or (and (holdsDuring (BeginFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY)) (holdsDuring (EndFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY)))) (and (holdsDuring (BeginFn (WhenFn ?ALT)) (not (attribute ?PART ?PROPERTY))) (holdsDuring (EndFn (WhenFn ?ALT)) (attribute ?PART ?PROPERTY))))))) |
Merge.kif 11568-11581 | |
| (=> (and (instance ?I Ironing) (patient ?I ?OBJ)) (exists (?HEAT ?IRON ?PART) (and (superficialPart ?PART ?OBJ) (instance ?HEAT Heating) (patient ?HEAT ?IRON) (patient ?I ?PART) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 23143-23153 | |
| (=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough))))) |
Mid-level-ontology.kif 23127-23136 | |
| (=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth))))) |
Mid-level-ontology.kif 23111-23120 | |
| (=> (attribute ?OBJ Polychromatic) (exists (?PART1 ?PART2 ?COLOR1 ?COLOR2) (and (superficialPart ?PART1 ?OBJ) (superficialPart ?PART2 ?OBJ) (attribute ?PART1 ?COLOR1) (attribute ?PART2 ?COLOR2) (instance ?COLOR1 ColorAttribute) (instance ?COLOR2 ColorAttribute) (not (equal ?COLOR1 ?COLOR2))))) |
Merge.kif 16366-16376 | |
| (=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))) |
Merge.kif 9373-9382 | |
| (=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart))))) |
Merge.kif 13885-13892 | |
| (=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION)) |
Geography.kif 802-804 | |
| (=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION)) |
Geography.kif 814-816 | |
| (=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART))))) |
Merge.kif 8990-8996 | |
| (=> (surface ?OBJ1 ?OBJ2) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))) |
Merge.kif 8976-8981 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners