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 9794-9799
(documentation superficialPart JapaneseLanguage "(superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。")	japanese_format.kif 1578-1581
(domain superficialPart 1 Object)	Merge.kif 9791-9791	The number 1 argument of superficial part is an instance of object
(domain superficialPart 2 Object)	Merge.kif 9792-9792	The number 2 argument of superficial part is an instance of object
(instance superficialPart BinaryPredicate)	Merge.kif 9790-9790	superficial part is an instance of binary predicate
(instance superficialPart IrreflexiveRelation)	Merge.kif 9787-9787	superficial part is an instance of irreflexive relation
(instance superficialPart PartialValuedRelation)	Merge.kif 9789-9789	superficial part is an instance of partial valued relation
(instance superficialPart TransitiveRelation)	Merge.kif 9788-9788	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 9845-9845	bottom is a subrelation of superficial part
(subrelation side superficialPart)	Merge.kif 9875-9875	side is a subrelation of superficial part
(subrelation surface superficialPart)	Merge.kif 9812-9812	surface is a subrelation of superficial part
(subrelation top superficialPart)	Merge.kif 9860-9860	top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "肤浅的部分")	domainEnglishFormat.kif 56117-56117	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 56116-56116	top is a subrelation of superficial part
(termFormat EnglishLanguage superficialPart "superficial part")	domainEnglishFormat.kif 56115-56115	top is a subrelation of superficial part
(termFormat de superficialPart "oberflaechichesTeil")	terms-de.txt 154-154	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 17871-17880	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 16061-16065	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 (instance ?G Gear) (superficialPart ?SG ?G) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (part ?ST ?SG))	engineering.kif 822-829	If an object is an instance of gear and another object is a superficial part of the object and a self connected object is an instance of gear tooth and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then the other self connected object is a part of the other object
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1506-1510	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 9801-9808	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 9783-9785	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 17871-17880	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 2032-2037	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 12770-12783	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 26914-26924	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 26898-26907	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 26882-26891	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 17893-17903	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 equal the attribute and the other attribute
(=> (equal ?OBJ1 (HoleSkinFn ?HOLE)) (=> (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3)) (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10226-10233	If equal an object and 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 10216-10224	If equal an object and 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 15230-15237	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 ?G Rifle) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (not (attribute ?P Smooth)))))	Mid-level-ontology.kif 1960-1969	If an object is an instance of rifle, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is not an attribute of the third object
(=> (instance ?G Shotgun) (exists (?B ?P) (and (instance ?B GunBore) (properPart ?B ?G) (superficialPart ?P ?B) (orientation ?P ?B Inside) (attribute ?P Smooth))))	Mid-level-ontology.kif 1943-1951	If an object is an instance of shot gun, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is an attribute of the third object
(=> (instance ?REGION Region) (superficialPart (InnerBoundaryFn ?REGION) ?REGION))	Geography.kif 935-937	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 947-949	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 9837-9843	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 9821-9826	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: