TreeView 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 9694-9699
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 9691-9691	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 9692-9692	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 9690-9690	superficial part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9687-9687	superficial part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9689-9689	superficial part is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9688-9688	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 9743-9743	bottom is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9773-9773	side is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9712-9712	surface is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9758-9758	top is a subrelation of superficial part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56115-56115
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 372-372
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56114-56114
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56113-56113

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
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 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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25309-25319	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 25293-25302	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 25277-25286	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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: