surface - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - surface

surface

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2838-2840
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9741-9744
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1582-1584
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9738-9738	The number 1 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9739-9739	The number 2 argument of surface is an instance of self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9735-9735	surface is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9736-9736	surface is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9737	surface is a subrelation of superficial part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 373-373
No TPTP formula. May not be expressible in strict first order.	english_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	french_format.kif 215-215
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 290-290
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2021-2021
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 167-167
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 222-222
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 498-498
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 61-61
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 235-235
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 232-232
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 482-482
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56319-56319
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56318-56318
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 155-155

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1462-1467	The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2693-2704	If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is outside to the self connected object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17836-17841	If an attribute is an instance of shape attribute and the attribute is an attribute of a self connected object and another self connected object is a surface of the self connected object, then the attribute is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17864-17869	If an attribute is an instance of texture attribute and the attribute is an attribute of a self connected object and another self connected object is a surface of the self connected object, then the attribute is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7210-7230	If an object is an instance of crystal and mono crystalline is an attribute of the object and a self connected object is an instance of substance and solid is an attribute of the self connected object and poly crystalline is an attribute of the self connected object and another self connected object is an instance of substance and the other self connected object is a surface of the self connected object and the object is not a part of the other self connected object, then there exist the objectLNT, an integer and another object such that the objectLNT is an instance of collection and the integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if the other object is a member of the objectLNT, then the other object is a part of the self connected object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 775-785	If an object is an instance of external gear and a hole is an instance of hole and the object is equal to the host of the hole the hole 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 not a part of the 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.	Geography.kif 7565-7577	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and the self connected object is not equal to the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1488-1496	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1388-1394	If a self connected object is an instance of paved runway and another self connected object is a surface of the self connected object, then the other self connected object is an instance of asphalt or the other self connected object is an instance of concrete
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1396-1401	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of asphalt, then the self connected object is an instance of paved runway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1403-1408	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of concrete, then the self connected object is an instance of paved runway
No TPTP formula. May not be expressible in strict first order.	engineering.kif 803-814	If a self connected object is an instance of gear tooth and an object is an instance of internal gear 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 there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole and the other self connected object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4906-4911	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 foot length(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4899-4904	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0.0 meter(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4068-4079	If an object is an instance of underground area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number
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

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2769-2774	An object is a length measure above the ground if and only if there exists a self connected object such that the altitude of the object is the self connected object and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7565-7577	If a self connected object is an instance of liquid drop and another self connected object is a surface of the self connected object, then the statement there exist the other self connected objectS and another entity such that the other entity is an instance of substance and liquid is an attribute of the other entity and the self connected object is not equal to the other entity and the other self connected objectS is a surface of the other entity and the other self connected object meets the other self connected objectS has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1441-1451	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical is the physical2 and the physical2 is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3181-3189	If a process is an instance of painting and a self connected object is a patient of the process and an object is a resource for the process, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the object is an instance of paint
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22065-22095	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub_proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9967-9988	If the per of a real number kilogram force(s) and another real number SquareMillimeter(s) Vickers pyramid number(s) is equal to The Vickers Hardness of a kind of substance is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of a kind of substance and the other entity is an instance of pushing and the other entity ends up at the entity and the third entity is an instance of diamond and the third entity is square pyramid and the third entity is a patient of the other entity and the fourth entity is a result of the other entity and the fourth entity is an instance of hole and the fourth entity is a part of the entity and the fifth entity is a surface of the fourth entity and the other real number SquareMillimeter(s) is a total area of the fifth entity and the measure of the other entity is the real number kilogram force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9891-9914	If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5479-5484	If a self connected object is an instance of bubble, then there exists another self connected object such that the other self connected object is a surface of the self connected object and liquid is an attribute of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9548-9557	If a physical is an instance of detergent, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is an instance of substance and the other entity is a patient of the entity and the entity originates at the third entity and the third entity is a surface of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10220-10226	If a physical is an instance of lesion, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of organ and the physical is located at the self connected object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1206-1211	If a self connected object is an instance of virus core envelope, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of viral core
No TPTP formula. May not be expressible in strict first order.	Food.kif 2302-2308	If a self connected object is an instance of peel or rind, then there exists another self connected object such that the self connected object is a part of the other self connected object and the other self connected object is an instance of fruit or vegetable and the self connected object is a surface of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3255-3266	If a physical is an instance of painting device, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of substance and the other entity is an instance of covering and the fourth entity is an instance of object and the third entity is a surface of the fourth entity and the physical is an agent of the other entity and the entity is an instrument for the other entity and the third entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11815-11822	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 472-479	If an object is an instance of cell wall, then there exist a self connected object and another self connected object such that the self connected object is an instance of cell and the object is a part of the self connected object and the other self connected object is a surface of the self connected object and the other self connected object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3465-3474	If a physical is an instance of land vehicle, then the physical has the purpose there exist an entity and another entity such that the other entity is a surface of geographic area and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 328-333	If an object is an instance of subway, then there exists a self connected object such that the self connected object is a surface of geographic area and the object is below to the self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4060-4066	If an object is an instance of underground area, then there exist another object and a self connected object such that the self connected object is a surface of planet earth and the other object is a part of the self connected object and the object is below to the other 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