TreeView Knowledge Base Browser - Above

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Above

Above(above)

above, elevated, higher_up, in_a_higher_place, lifted, main_deck, overhead, raised, royal, royal_mast, second_deck, superstructure, supra, to_a_higher_place, up, upper, upper_berth, upper_deck, upraised

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17144-17144	Above is the opposite of below
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3817-3818
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17145-17148
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10350-10350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10349-10349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10351-10351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17143-17143	Above is an instance of anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17142-17142	Above is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5100-5100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5099-5099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5098-5098
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 533-533

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2520-2533	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2549-2563	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17150-17153	If an object is above to another object, then the object is not connected to the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17162-17166	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.	Merge.kif 7750-7752	If the altitude of an object is another object, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9751-9756	If the bottom 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 above to the other self connected object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	If an object is an instance of eyebrow and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the object is above to the objectYE
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object, then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	If a water area is an instance of waterfall and a water motion is an instance of water motion and the water area is a flow current of the water motion and the water motion originates at an object and the water motion ends up at another object and the object is an instance of water area and the other object is an instance of water area, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9566-9571	If an entity is an instance of plant stem and another entity is an instance of plant root, then the statement the entity is above to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	If a land area is an instance of land area and a kind of substance is a ground surface type of the land area and another kind of substance is a ground subsurface type of the land area, then there exist an object and another object such that the object is an instance of a kind of substance and the other object is an instance of another kind of substance and the object is above to the other 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.	Mid-level-ontology.kif 30340-30347	If cloudy is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of cloud and the other entity is above to the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15412-15419	If an object is an instance of balcony, then there exist another object and a third object such that the other object meets the object and the third object is an instance of land area and the other object is located at the third object and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2030-2039	If an object is an instance of shower, then there exist another object and a third object such that the other object is an instance of wall or the other object is an instance of ceiling and the object is connected to the other object and the third object is an instance of floor and the object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3871-3879	If an object is an instance of bunk bed, then there exist another object and a third object such that the other object is an instance of twin-sized bed and the third object is an instance of twin-sized bed and the other object is a part of the object and the third object is a part of the object and the other object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3951-3962	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19247-19258	If an object is upstairs 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 above to the fourth 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