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 9816-9819
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 9813-9813	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 9814-9814	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 9810-9810	surface is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9811-9811	surface is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9812-9812	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 56290-56290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56289-56289
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.	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 equal a third object and the line between the object and the other object and equal the object and 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 equal a third object and the line between the object and the other object and equal the object and 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 17919-17924	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 17947-17952	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 7479-7499	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 equal the object and 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 7834-7846	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 equal the self connected object and 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.	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 equal the object and 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 5091-5096	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 5084-5089	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 4239-4250	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 9821-9826	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 2939-2944	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 relative to the self connected object is the length measure and the self connected object is a surface of planet earth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7834-7846	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 equal the self connected object and 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.	Mid-level-ontology.kif 3631-3639	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 22764-22794	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 10473-10494	If equal the per of a real number kilogram force(s) and another real number square millimeter(s) Vickers pyramid number(s) and 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 square millimeter(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 10397-10420	If equal a real number pound force(s) and 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 5940-5945	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 10054-10063	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 10725-10731	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 1213-1218	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 2309-2315	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 3705-3716	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 12322-12329	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 477-484	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 3915-3924	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 4231-4237	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