superficialPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - superficialPart

superficialPart

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 9074-9079
(domain superficialPart 1 Object)	Merge.kif 9071-9071	The number 1 argument of superficial part is an instance of object
(domain superficialPart 2 Object)	Merge.kif 9072-9072	The number 2 argument of superficial part is an instance of object
(instance superficialPart IrreflexiveRelation)	Merge.kif 9068-9068	superficial part is an instance of irreflexive relation
(instance superficialPart PartialValuedRelation)	Merge.kif 9070-9070	superficial part is an instance of partial valued relation
(instance superficialPart TransitiveRelation)	Merge.kif 9069-9069	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 375-375
(subrelation bottom superficialPart)	Merge.kif 9122-9122	bottom is a subrelation of superficial part
(subrelation side superficialPart)	Merge.kif 9152-9152	side is a subrelation of superficial part
(subrelation surface superficialPart)	Merge.kif 9091-9091	surface is a subrelation of superficial part
(subrelation top superficialPart)	Merge.kif 9137-9137	top is a subrelation of superficial part
(termFormat ChineseLanguage superficialPart "肤浅的部分")	domainEnglishFormat.kif 56027-56027
(termFormat ChineseLanguage superficialPart "表面部分")	chinese_format.kif 372-372
(termFormat ChineseTraditionalLanguage superficialPart "膚淺的部分")	domainEnglishFormat.kif 56026-56026
(termFormat EnglishLanguage superficialPart "superficial part")	domainEnglishFormat.kif 56025-56025

antecedent

(=> (and (attribute ?OBJ Monochromatic) (superficialPart ?PART ?OBJ) (attribute ?PART ?COLOR) (instance ?COLOR PrimaryColor)) (forall (?ELEMENT) (=> (superficialPart ?ELEMENT ?OBJ) (attribute ?ELEMENT ?COLOR))))	Merge.kif 16464-16473	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))	Mid-level-ontology.kif 27960-27964	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 1680-1684	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 9081-9088	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 9064-9066	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 16464-16473	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 1860-1865	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 11689-11702	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 23180-23190	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 23164-23173	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 23148-23157	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 16486-16496	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)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (superficialPart ?OBJ3 (HoleHostFn ?HOLE)) (meetsSpatially ?HOLE ?OBJ3) (overlapsSpatially ?OBJ2 ?OBJ3))))))	Merge.kif 9497-9506	If an object is equal to the surface of the hole a hole, then for all another object overlaps spatially the other object and the object if and only if 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 overlaps spatially the other object and the third object
(=> (instance ?COVER BodyCovering) (exists (?BODY) (and (superficialPart ?COVER ?BODY) (or (instance ?BODY Organism) (instance ?BODY BodyPart)))))	Merge.kif 14003-14010	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 802-804	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 814-816	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 9114-9120	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 overlaps spatially the object and the third object
(=> (surface ?OBJ1 ?OBJ2) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1))))	Merge.kif 9100-9105	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