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 9751-9756
(documentation superficialPart JapaneseLanguage "(superficialPart ?OBJ1 ?OBJ2) とは、 ?OBJ1 は ?OBJ2 の内部部分を持たない部分という意味である。 (または、直感的には、?OBJ2 の単なる補数と外部的に接続されている ?OBJ2 の部分としか重なっていない)。これも MereologicalSumFn と MereologicalProductFn 下の閉ざされた推移的な関係である。")	japanese_format.kif 1578-1581
(domain superficialPart 1 Object)	Merge.kif 9748-9748	The number 1 argument of superficial part is an instance of object
(domain superficialPart 2 Object)	Merge.kif 9749-9749	The number 2 argument of superficial part is an instance of object
(instance superficialPart BinaryPredicate)	Merge.kif 9747-9747	superficial part is an instance of binary predicate
(instance superficialPart IrreflexiveRelation)	Merge.kif 9744-9744	superficial part is an instance of irreflexive relation
(instance superficialPart PartialValuedRelation)	Merge.kif 9746-9746	superficial part is an instance of partial valued relation
(instance superficialPart TransitiveRelation)	Merge.kif 9745-9745	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 9800-9800	bottom is a subrelation of superficial part
(subrelation side superficialPart)	Merge.kif 9830-9830	side is a subrelation of superficial part
(subrelation surface superficialPart)	Merge.kif 9769-9769	surface is a subrelation of superficial part
(subrelation top superficialPart)	Merge.kif 9815-9815	top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "肤浅的部分")	domainEnglishFormat.kif 56146-56146	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 56145-56145	top is a subrelation of superficial part
(termFormat EnglishLanguage superficialPart "superficial part")	domainEnglishFormat.kif 56144-56144	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 17822-17831	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 16012-16016	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 1512-1516	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 9758-9765	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 9740-9742	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 17822-17831	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 1895-1900	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 12721-12734	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 26921-26931	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 26905-26914	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 26889-26898	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 17844-17854	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 10181-10188	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 10171-10179	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 15181-15188	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 1966-1975	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 1949-1957	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 798-800	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 810-812	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 9792-9798	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 9778-9783	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: