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 9115-9118
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9112-9112	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 9113-9113	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 9109-9109	surface is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9110-9110	surface is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9111-9111	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 377-377
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 56210-56210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56209-56209

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 2664-2675	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 2632-2643	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 16549-16554	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 16577-16582	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 6573-6593	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 exists the objectLNT such that the objectLNT is an instance of collection and an integer is a member count of the objectLNT and the integer is greater than or equal to 4 and if another 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.	Geography.kif 6956-6968	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 1305-1311	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 1313-1318	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 1320-1325	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.	Geography.kif 4539-4543	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 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 4533-4537	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 meter(s) is an elevation of the other self connected object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3794-3802	If an object is an instance of underground area and the object is a physical quantity 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 physical quantity above the ground, then the other physical quantity is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9120-9125	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 2721-2725	An object is a length measure above the ground if and only if the altitude of the object is a 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 6956-6968	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 3730-3738	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 18870-18899	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , an object and a time duration such that the other process is an instance of discovering and the object is an instance of object and the object 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 object is the time duration and the time duration is greater than 50 year duration(s) and the entity is a surface of another entity and the other entity is an instance of body of water and the object is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the object 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 5306-5311	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 8508-8517	If a physical is an instance of detergent, then the physical 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 9000-9006	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 621-626	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.	Mid-level-ontology.kif 3803-3814	If a physical is an instance of painting device, then the physical 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 9421-9428	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 is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4010-4019	If a physical is an instance of land vehicle, then the physical 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 325-330	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 3786-3792	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