Above - Sigma Knowledge base Browser

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

(contraryAttribute Above Below)	Merge.kif 17169-17169	Above is the opposite of below
(documentation Above ChineseLanguage "这是一个由上/下模式所衍生和非接触的 PositionalAttribute。注：这是指直接在上面，也就是说如果一个物体在另外一个物体的 Above 的话，那么这两个物体的投影就会交叠。")	chinese_format.kif 3817-3818	Above is the opposite of below
(documentation Above EnglishLanguage "This is a PositionalAttribute derived from the up/ down schema and not involving contact. Note that this means directly above, i.e., if one object is Above another object, then the projections of the two objects overlap.")	Merge.kif 17170-17173	Above is the opposite of below
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg")	pictureList.kif 10348-10348	Above is the opposite of below
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg")	pictureList.kif 10347-10347	Above is the opposite of below
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg")	pictureList.kif 10349-10349	Above is the opposite of below
(instance Above AntiSymmetricPositionalAttribute)	Merge.kif 17168-17168	Above is an instance of anti_symmetric positional attribute
(instance Above PositionalAttribute)	Merge.kif 17167-17167	Above is an instance of positional attribute

appearance as argument number 2

(termFormat ChineseLanguage Above "以上")	domainEnglishFormat.kif 5109-5109
(termFormat ChineseTraditionalLanguage Above "以上")	domainEnglishFormat.kif 5108-5108
(termFormat EnglishLanguage Above "above")	domainEnglishFormat.kif 5107-5107
(termFormat tg Above "sa itaas")	terms-tg.txt 533-533

antecedent

(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 2519-2532	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
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0)))	Weather.kif 2548-2562	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
(=> (orientation ?OBJ1 ?OBJ2 Above) (not (connected ?OBJ1 ?OBJ2)))	Merge.kif 17175-17178	If an object is above to another object, then the object is not connected to the other object

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 17187-17191	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
(=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above))	Merge.kif 7756-7758	If the altitude of an object is another object, then the object is above to the other object
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above))	Merge.kif 9780-9785	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
(=> (and (instance ?E Eyebrow) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?E ?EYE Above))))	Anatomy.kif 1468-1480	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
(=> (and (instance ?F Forehead) (holdsDuring ?T (and (attribute ?H Healthy) (attribute ?H Standing))) (part ?E ?H)) (exists (?EYE) (and (instance ?EYE Eye) (part ?EYE ?H) (orientation ?F ?EYE Above))))	Anatomy.kif 1487-1499	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
(=> (and (instance ?FALL Waterfall) (instance ?CURRENT WaterMotion) (flowCurrent ?CURRENT ?FALL) (origin ?CURRENT ?TOP) (destination ?CURRENT ?BOTTOM) (instance ?TOP WaterArea) (instance ?BOTTOM WaterArea)) (orientation ?TOP ?BOTTOM Above))	Geography.kif 5630-5639	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
(=> (and (instance ?STEM PlantStem) (instance ?ROOT PlantRoot)) (modalAttribute (orientation ?STEM ?ROOT Above) Likely))	Mid-level-ontology.kif 10435-10440	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
(=> (and (instance ?area LandArea) (groundSurfaceType ?area ?type1) (groundSubsurfaceType ?area ?type2)) (exists (?above ?below) (and (instance ?above ?type1) (instance ?below ?type2) (orientation ?above ?below Above))))	Geography.kif 4357-4366	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
(=> (attribute ?X LoftStyle) (exists (?FLOOR ?LOFT ?CEILING) (and (bottom ?FLOOR ?X) (top ?CEILING ?X) (instance ?LOFT StationaryArtifact) (orientation ?LOFT ?FLOOR Above) (orientation ?LOFT ?CEILING Below))))	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
(=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above)))))	Mid-level-ontology.kif 31430-31437	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
(=> (instance ?B Bridge) (hasPurpose ?B (exists (?T ?X) (and (instance ?T Translocation) (path ?T ?B) (orientation ?B ?X Above) (or (instance ?X LandArea) (instance ?X BodyOfWater))))))	Transportation.kif 1752-1762	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
(=> (instance ?BALCONY Balcony) (exists (?WALL ?LANDAREA) (and (meetsSpatially ?WALL ?BALCONY) (instance ?LANDAREA LandArea) (located ?WALL ?LANDAREA) (orientation ?BALCONY ?LANDAREA Above))))	Mid-level-ontology.kif 16313-16320	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
(=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2103-2112	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
(=> (instance ?X BunkBed) (exists (?BED1 ?BED2) (and (instance ?BED1 SingleBed) (instance ?BED2 SingleBed) (part ?BED1 ?X) (part ?BED2 ?X) (orientation ?BED1 ?BED2 Above))))	Mid-level-ontology.kif 3944-3952	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
(=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4024-4035	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
(=> (orientation ?OBJ1 ?OBJ2 Upstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Above))))	Mid-level-ontology.kif 20309-20320	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 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