Below - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Below

Below(below)

more pictures...

at_a_lower_place, below, belowground, beneath, down, fourth_deck, infra, lower, lower_berth, lower_deck, lowered, nether, orlop, orlop_deck, submarine, submerged, submersed, subocean, suboceanic, thereunder, third_deck, to_a_lower_place, under, under_it, under_that, underlie, underlying, underneath, undersea, underwater

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3819-3821
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17178-17181
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10511-10511
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10509-10509
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10512-10512
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10506-10506
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10513-10513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9905-9905
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10508-10508
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10510-10510
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10507-10507
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17177-17177	Below is an instance of anti_symmetric positional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17176-17176	Below is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17165-17165	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10716-10716	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10715-10715	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10714-10714	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 534-534	Above is the opposite of below

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17183-17187	An object is below to another object if and only if the other object is on to the object or the other object is above to the 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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13754-13765	If an object is an instance of chin and another object is an instance of face and the object is a part of the other object, then for all a third object if the third object is a part of the other object and the third object is not a part of the object, then the third object is below to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11658-11663	If a process is an instance of falling and the process originates at an object and the process ends up at another object, then the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 536-562	If a process is an instance of 3D printing and an object is an instance of artifact and the object is a result of the process, then there exist another process, another object,, , a third process and a third object such that the other process is an instance of making and the other process is a subprocess of the process and the other object is an instance of self connected object and the other object is a part of the object and the other object is a result of the other process and the third process is an instance of making and the third process is a subprocess of the process and the third object is an instance of self connected object and the third object is a part of the object and the other object and the third object overlapsSpatially and the other object is below to the third object and the time of existence of the other process takes place during the time of existence of the process and the time of existence of the third process takes place during the time of existence of the process and the time of existence of the other process happens earlier than the time of existence of the third process
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.	Merge.kif 9791-9796	If the top of a self connected object is another self connected object and an object is a part of the self connected object and the object is not connected to the other self connected object, then the object is below to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1157-1165	If loft style is an attribute of a self connected object, then there exist another self connected object, an object and a third self connected object such that the bottom of the self connected object is the other self connected object and the top of the self connected object is the third self connected object and the object is an instance of stationary artifact and the object is above to the other self connected object and the object is below to the third self connected object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7774-7776	If the depth from an object to another object is a length measure, then the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16267-16276	If an object is an instance of basement, then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6141-6148	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18596-18601	If an object is an instance of under water, then there exists another object such that the other object is an instance of water area and the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27826-27835	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20155-20166	If an object is downstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth 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