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

more pictures...

VerbNet: contiguous_location-47.8|underlie,

appearance as argument number 1

(documentation Below ChineseLanguage "这是一个由上/下模式所衍生的 PositionalAttribute，而两者有可能但也不可能有接触。注：这是指直接在下面，也就是说如果一个物体在另外一个物体的 Below 的话，那么这两个物体的投影就会交叠。")	chinese_format.kif 3819-3821
(documentation Below EnglishLanguage "This PositionalAttribute is derived from the up/ down schema and may or may not involve contact. Note that this means directly below, i.e., if one object is Below another object, then the projections of the two objects overlap.")	Merge.kif 15875-15878
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg")	pictureList.kif 10534-10534
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower-crane-below.jpg")	pictureList.kif 10532-10532
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg")	pictureList.kif 10535-10535
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG")	pictureList.kif 10529-10529
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG")	pictureList.kif 10536-10536
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg")	pictureList.kif 9924-9924
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg")	pictureList.kif 10531-10531
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG")	pictureList.kif 10533-10533
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG")	pictureList.kif 10530-10530
(instance Below AntiSymmetricPositionalAttribute)	Merge.kif 15874-15874	instance Below and AntiSymmetricPositionalAttribute
(instance Below PositionalAttribute)	Merge.kif 15873-15873	instance Below and PositionalAttribute

appearance as argument number 2

(contraryAttribute Above Below)	Merge.kif 15862-15862	contraryAttribute Above and Below
(termFormat ChineseLanguage Below "下面")	domainEnglishFormat.kif 10651-10651
(termFormat ChineseTraditionalLanguage Below "下面")	domainEnglishFormat.kif 10650-10650
(termFormat EnglishLanguage Below "below")	domainEnglishFormat.kif 10649-10649

antecedent

(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 15880-15884	orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above
(=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1))	Geography.kif 3794-3802	instance Object and UndergroundArea earthAltitude Object and PhysicalQuantity surface SelfConnectedObject and PlanetEarth part Object and SelfConnectedObject orientation Object, Object and Below earthAltitude Object and PhysicalQuantity greaterThan PhysicalQuantity and PhysicalQuantity

consequent

(=> (and (instance ?CHIN Chin) (instance ?FACE Face) (part ?CHIN ?FACE)) (forall (?PART) (=> (and (part ?PART ?FACE) (not (part ?PART ?CHIN))) (orientation ?PART ?CHIN Below))))	Mid-level-ontology.kif 10540-10551	instance Object and Chin instance Object and Face part Object and Object Object part Object and Object part Object and Object orientation Object, Object and Below
(=> (and (instance ?DROP Falling) (origin ?DROP ?START) (destination ?DROP ?FINISH)) (orientation ?FINISH ?START Below))	Merge.kif 10777-10782	instance Process and Falling origin Process and Object destination Process and Object orientation Object, Object and Below
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O ?T) (greaterThan ?T (MeasureFn 50 YearDuration)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 18839-18868	instance Proposition and Argument instance Process and Reasoning subProposition Proposition and Archeology realization Process and Proposition Process entity, Object and TimeDuration instance Process and Discovering instance Object and Object patient Process and Object refers Process and Process earlier WhenFn Process and WhenFn Process age Object and TimeDuration greaterThan TimeDuration and MeasureFn 50 and YearDuration holdsDuring ImmediatePastFn WhenFn Process and surface entity and entity instance entity and BodyOfWater orientation Object, entity and Below surface entity and entity instance entity and LandArea orientation Object, entity and Below
(=> (and (top ?TOP ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?TOP))) (orientation ?PART ?TOP Below))	Merge.kif 9112-9117	top SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject connected Object and SelfConnectedObject orientation Object, SelfConnectedObject and Below
(=> (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 1114-1122	attribute SelfConnectedObject and LoftStyle SelfConnectedObject Object and SelfConnectedObject bottom SelfConnectedObject and SelfConnectedObject top SelfConnectedObject and SelfConnectedObject instance Object and StationaryArtifact orientation Object, SelfConnectedObject and Above orientation Object, SelfConnectedObject and Below
(=> (depth ?OBJ1 ?OBJ2 ?DEPTH) (orientation ?OBJ1 ?OBJ2 Below))	Merge.kif 7303-7305	depth Object, Object and Entity orientation Object, Object and Below
(=> (instance ?BASEMENT Basement) (not (exists (?LEVEL ?BUILDING) (and (instance ?LEVEL BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL ?BUILDING) (part ?BASEMENT ?BUILDING) (not (equal ?LEVEL ?BASEMENT)) (orientation ?LEVEL ?BASEMENT Below)))))	Mid-level-ontology.kif 13096-13105	instance Object and Basement Object Object instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object equal Object and Object orientation Object, Object and Below
(=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER))))	Geography.kif 5668-5675	instance Object and SubmergedLandArea Object instance Object and WaterArea orientation Object, Object and Below orientation Object, Object and On meetsSpatially Object and Object
(=> (instance ?SCUBA ScubaDiving) (exists (?WATER ?DEVICE ?BREATH) (and (instance ?WATER WaterArea) (orientation ?SCUBA ?WATER Below) (instance ?DEVICE Device) (instance ?BREATH Breathing) (instrument ?BREATH ?DEVICE) (subProcess ?BREATH ?SCUBA))))	Mid-level-ontology.kif 25089-25098	instance Object and ScubaDiving Object Object and Process instance Object and WaterArea orientation Object, Object and Below instance Object and Device instance Process and Breathing instrument Process and Object subProcess Process and Object
(=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below))))	Transportation.kif 325-330	instance Object and SubwaySystem SelfConnectedObject surface SelfConnectedObject and GeographicArea orientation Object, SelfConnectedObject and Below
(=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below))))	Geography.kif 3786-3792	instance Object and UndergroundArea Object SelfConnectedObject surface SelfConnectedObject and PlanetEarth part Object and SelfConnectedObject orientation Object, Object and Below
(=> (orientation ?OBJ1 ?OBJ2 Downstairs) (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 Below))))	Mid-level-ontology.kif 17021-17032	orientation Object, Object and Downstairs Object Object and Object instance Object and BuildingLevel instance Object and BuildingLevel instance Object and Building part Object and Object part Object and Object located Object and Object located Object and Object orientation Object, Object and Below

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners