superficialPart - Sigma Knowledge base Browser

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 9694-9699
(documentation superficialPart JapaneseLanguage "(superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。")	japanese_format.kif 1578-1581
(domain superficialPart 1 Object)	Merge.kif 9691-9691	The number 1 argument of superficial part is an instance of object
(domain superficialPart 2 Object)	Merge.kif 9692-9692	The number 2 argument of superficial part is an instance of object
(instance superficialPart BinaryPredicate)	Merge.kif 9690-9690	superficial part is an instance of binary predicate
(instance superficialPart IrreflexiveRelation)	Merge.kif 9687-9687	superficial part is an instance of irreflexive relation
(instance superficialPart PartialValuedRelation)	Merge.kif 9689-9689	superficial part is an instance of partial valued relation
(instance superficialPart TransitiveRelation)	Merge.kif 9688-9688	superficial part is an instance of transitive relation

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 372-372
(format FrenchLanguage superficialPart "%1 est %n une partie superficielle de %2")	french_format.kif 214-214
(format ItalianLanguage superficialPart "%1 è %n una parte superficiale di %2")	relations-it.txt 289-289
(format JapaneseLanguage superficialPart "%1 は %2 の %n superficial 部分では %n")	japanese_format.kif 2020-2020
(format PortugueseLanguage superficialPart "%1 e' %n uma parte superficial de %2")	portuguese_format.kif 166-166
(format cz superficialPart "%1 %p{je} %n{nen�} a minim�ln� ��st� %2")	relations-cz.txt 221-221
(format de superficialPart "%1 ist ein oberflaechliches teil von %2 %n{nicht}")	relations-de.txt 495-495
(format hi superficialPart "%1 %2 kaa prishhThiiya bhaaga %n hai")	relations-hindi.txt 326-326
(format ro superficialPart "%1 %n{nu} este o parte superficial%t{de suprafaþã} a lui %2")	relations-ro.kif 234-234
(format sv superficialPart "%1 är %n{inte} en ytlig del av %2")	relations-sv.txt 231-231
(format tg superficialPart "%1 %n ay ang bahagi ng mababaw ng %2")	relations-tg.txt 481-481
(subrelation bottom superficialPart)	Merge.kif 9743-9743	bottom is a subrelation of superficial part
(subrelation side superficialPart)	Merge.kif 9773-9773	side is a subrelation of superficial part
(subrelation surface superficialPart)	Merge.kif 9712-9712	surface is a subrelation of superficial part
(subrelation top superficialPart)	Merge.kif 9758-9758	top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "肤浅的部分")	domainEnglishFormat.kif 56153-56153	top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "表面部分")	chinese_format.kif 372-372	top is a subrelation of superficial part
(termFormat ChineseTraditionalLanguage superficialPart "膚淺的部分")	domainEnglishFormat.kif 56152-56152	top is a subrelation of superficial part
(termFormat EnglishLanguage superficialPart "superficial part")	domainEnglishFormat.kif 56151-56151	top is a subrelation of superficial part

antecedent

(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 17767-17776	If monochromatic is an attribute of an object and another object is a superficial part of the object and an attribute is an attribute of the other object and the attribute is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the attribute is an attribute of the third object
(=> (and (covers ?A ?B) (superficialPart ?S ?B)) (meetsSpatially ?A ?S))	Merge.kif 15957-15961	If an object covers another object and a third object is a superficial part of the other object, then the object meets the third object
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1282-1286	If one end of an object is another object and a third object is a superficial part of the object, then the other object meets the third object
(=> (superficialPart ?OBJ1 ?OBJ2) (and (not (interiorPart ?OBJ1 ?OBJ2)) (not (exists (?OBJ3) (interiorPart ?OBJ3 ?OBJ1)))))	Merge.kif 9701-9708	If an object is a superficial part of another object, then the object is not a interior part of the other object and there doesn't exist a third object such that the third object is a interior part of the object
(=> (superficialPart ?PART ?WHOLE) (part ?PART ?WHOLE))	Merge.kif 9683-9685	If an object is a superficial part of another object, then the object is a part of the other object

consequent

(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 17767-17776	If monochromatic is an attribute of an object and another object is a superficial part of the object and an attribute is an attribute of the other object and the attribute is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the attribute is an attribute of the third object
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 1907-1912	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
(=> (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 12662-12675	If a process is an instance of surface change and an object is a patient of the process, then there exist another object and an entity such that the other object is a superficial part of the object and the entity is an attribute of the other object holds during the beginning of the time of existence of the process and the entity is not an attribute of the other object holds during the end of the time of existence of the process or the entity is not an attribute of the other object holds during the beginning of the time of existence of the process and the entity is an attribute of the other object holds during the end of the time of existence of the process
(=> (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 25540-25550	If a process is an instance of ironing and an object is a patient of the process, then there exist another process, the processRON and a third object such that the third object is a superficial part of the object and the other process is an instance of heating and the processRON is a patient of the other process and the third object is a patient of the process and the processRON is an instrument for the process
(=> (and (instance ?P Roughening) (patient ?P ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?P)) (attribute ?PART Rough)))))	Mid-level-ontology.kif 25524-25533	If a process is an instance of roughening and an object is a patient of the process, then there exists the processART such that the processART is a superficial part of the object and rough is an attribute of the processART holds during the end of the time of existence of the process
(=> (and (instance ?SMOOTH Smoothing) (patient ?SMOOTH ?OBJ)) (exists (?PART) (and (superficialPart ?PART ?OBJ) (holdsDuring (EndFn (WhenFn ?SMOOTH)) (attribute ?PART Smooth)))))	Mid-level-ontology.kif 25508-25517	If a process is an instance of smoothing and an object is a patient of the process, then there exists another object such that the other object is a superficial part of the object and smooth is an attribute of the other object holds during the end of the time of existence of the process
(=> (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 17789-17799	If polychromatic is an attribute of an object, then there exist another object, a third object,, , an attribute and another attribute such that the other object is a superficial part of the object and the third object is a superficial part of the object and the attribute is an attribute of the other object and the other attribute is an attribute of the third object and the attribute is an instance of color attribute and the other attribute is an instance of color attribute and the attribute is not equal to the other attribute
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10122-10129	If an object is equal to the surface of the hole a hole, then if another object is a superficial part of the host of the hole the hole and the hole meets the other object and a third object and the other object overlapsSpatially, then the third object and the object overlapsSpatially
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10112-10120	If an object is equal to the surface of the hole a hole, then if another object and the object overlapsSpatially, then there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object overlapsSpatially
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart)))))	Merge.kif 15123-15130	If an object is an instance of body covering, then there exists another object such that the object is a superficial part of the other object and the other object is an instance of organism or the other object is an instance of body part
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 803-805	If a region is an instance of region, then the inner boundary of the region is a superficial part of the region
(=> (instance ?REGION Region) (superficialPart (OuterBoundaryFn ?REGION) ?REGION))	Geography.kif 815-817	If a region is an instance of region, then the outer boundary of the region is a superficial part of the region
(=> (interiorPart ?OBJ1 ?OBJ2) (forall (?PART) (=> (superficialPart ?PART ?OBJ2) (not (overlapsSpatially ?OBJ1 ?PART)))))	Merge.kif 9735-9741	If an object is a interior part of another object, then for all a third object if the third object is a superficial part of the other object, then the object and the third object doesn't overlapsSpatially
(=> (surface ?OBJ1 ?OBJ2) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1))))	Merge.kif 9721-9726	If a self connected object is a surface of another self connected object, then for all an object if the object is a superficial part of the other self connected object, then the object is a part of the self connected object

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

KB Term:			Term intersection

English Word: