superficialPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2834-2837
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9719-9724
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1578-1581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9716-9716	The number 1 argument of superficial part is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9717-9717	The number 2 argument of superficial part is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9715-9715	superficial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9712-9712	superficial part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9714-9714	superficial part is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9713-9713	superficial part is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 371-371
No TPTP formula. May not be expressible in strict first order.	english_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	french_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 289-289
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2020-2020
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 166-166
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 221-221
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 495-495
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 326-326
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 234-234
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 231-231
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 481-481
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9768-9768	bottom is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9798-9798	side is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9737	surface is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9783-9783	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56146-56146	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 372-372	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56145-56145	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56144-56144	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 154-154	top is a subrelation of superficial part

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17788-17797	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15978-15982	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9726-9733	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9708-9710	If an object is a superficial part of another object, then the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17788-17797	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12687-12700	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26200-26210	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26184-26193	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26168-26177	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17810-17820	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10147-10154	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10137-10145	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15147-15154	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9760-9766	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9746-9751	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: