TreeView Knowledge Base Browser - surface

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 9582-9585
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9579-9579	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 9580-9580	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 9576-9576	surface is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9577-9577	surface is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9578-9578	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.	chinese_format.kif 374-374
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56265-56265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56264-56264

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 2661-2672	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 2633-2644	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 17467-17472	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 17495-17500	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 6830-6850	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 7213-7225	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 1316-1322	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 1324-1329	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 1331-1336	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 4735-4740	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 4728-4733	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 3921-3932	If an object is an instance of underground area and an unit of measure is an instance of UnitOfLength 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 9587-9592	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 2784-2788	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 7213-7225	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 3139-3147	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 20447-20476	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,, , a physical and a real number 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 another 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 a 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 4725-4730	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 8451-8460	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 8992-8998	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 692-697	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 3214-3225	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 10494-10501	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.	VirusProteinAndCellPart.kif 422-429	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 3424-3433	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 3913-3919	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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