TreeView Knowledge Base Browser - DirectionalAttribute

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

DirectionalAttribute

Sigma KEE - DirectionalAttribute

DirectionalAttribute(directional attribute)

ENE, ESE, EbN, EbS, NE, NEbE, NEbN, NNE, NNW, NW, NWbN, NWbW, NbE, NbW, SE, SEbE, SEbS, SSE, SSW, SW, SWbS, SWbW, SbE, SbW, WNW, WSW, WbN, WbS, cardinal_compass_point, compass_point, direction, east_by_north, east_by_south, east_northeast, east_southeast, frontage, geographic, geographical, leaning, magnetic, nor'-east, nor'-nor'-east, nor'-nor'-west, nor'-west, north-east, north-northeast, north-northwest, north-west, north_by_east, north_by_west...

appearance as argument number 1

(documentation DirectionalAttribute ChineseLanguage "这是有关罗盘方向的 PositionalAttribute 子类别。")	chinese_format.kif 3802-3803
(documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.")	Merge.kif 16720-16721
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png")	pictureList.kif 10874-10874
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG")	pictureList.kif 9992-9992
(subclass DirectionalAttribute PositionalAttribute)	Merge.kif 16719-16719	Directional attribute is a subclass of positional attribute

appearance as argument number 2

(instance East DirectionalAttribute)	Merge.kif 16741-16741	East is an instance of directional attribute
(instance North DirectionalAttribute)	Merge.kif 16730-16730	North is an instance of directional attribute
(instance Northeast DirectionalAttribute)	Geography.kif 3570-3570	Northeast is an instance of directional attribute
(instance Northwest DirectionalAttribute)	Geography.kif 3604-3604	Northwest is an instance of directional attribute
(instance South DirectionalAttribute)	Merge.kif 16734-16734	South is an instance of directional attribute
(instance Southeast DirectionalAttribute)	Geography.kif 3581-3581	Southeast is an instance of directional attribute
(instance Southwest DirectionalAttribute)	Geography.kif 3592-3592	Southwest is an instance of directional attribute
(instance West DirectionalAttribute)	Merge.kif 16744-16744	West is an instance of directional attribute
(termFormat ChineseLanguage DirectionalAttribute "方向属性")	chinese_format.kif 1237-1237
(termFormat EnglishLanguage DirectionalAttribute "directional attribute")	english_format.kif 1695-1695

appearance as argument number 3

(domain AccelerationFn 4 DirectionalAttribute)	Cars.kif 1277-1277	The number 4 argument of AccelerationFn is an instance of directional attribute
(domain DirectionalSubregionFn 1 DirectionalAttribute)	Geography.kif 477-477	The number 1 argument of directional subregion is an instance of directional attribute
(domain LatitudeFn 1 DirectionalAttribute)	Geography.kif 406-406	The number 1 argument of latitude is an instance of directional attribute
(domain LongitudeFn 1 DirectionalAttribute)	Geography.kif 444-444	The number 1 argument of longitude is an instance of directional attribute
(domain VelocityFn 4 DirectionalAttribute)	Merge.kif 6575-6575	The number 4 argument of velocity is an instance of directional attribute
(domain faces 2 DirectionalAttribute)	Merge.kif 16674-16674	The number 2 argument of faces is an instance of directional attribute
(domain highAltitudeWindVelocity 3 DirectionalAttribute)	Weather.kif 253-253	The number 3 argument of high altitude wind velocity is an instance of directional attribute
(domain lowAltitudeWindVelocity 3 DirectionalAttribute)	Weather.kif 204-204	The number 3 argument of low altitude wind velocity is an instance of directional attribute
(domain magneticVariation 3 DirectionalAttribute)	Geography.kif 3692-3692	The number 3 argument of magnetic variation is an instance of directional attribute
(domain mediumAltitudeWindVelocity 3 DirectionalAttribute)	Weather.kif 230-230	The number 3 argument of medium altitude wind velocity is an instance of directional attribute
(domain slopeGradientTowardsOrientation 2 DirectionalAttribute)	Geography.kif 1691-1691	The number 2 argument of slope gradient towards orientation is an instance of directional attribute
(domain surfaceWindDirection 2 DirectionalAttribute)	Weather.kif 169-169	The number 2 argument of surface wind direction is an instance of directional attribute
(domain surfaceWindVelocity 3 DirectionalAttribute)	Weather.kif 106-106	The number 3 argument of surface wind velocity is an instance of directional attribute

antecedent

(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 16723-16728	If a positional attribute is an instance of directional attribute and an object is the positional attribute to another object and the other object is the positional attribute to a third object, then the other object is between the object and the third object
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA))	Geography.kif 493-498	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is a geographic subregion of the geographic area
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION))	Geography.kif 500-505	If a directional attribute is an instance of directional attribute and a geographic area is an instance of geographic area and the directional subregion of the directional attribute and the geographic area is an instance of geographic area, then the directional subregion of the directional attribute and the geographic area is the directional attribute to the geographic center of the geographic area

consequent

(=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T Tropics)) (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U) (and (objectGeographicCoordinates ?PLACE (MeasureFn ?NUM1 ?U) ?LONG) (instance ?U UnitOfAngularMeasure) (lessThan ?NUM1 ?NUM2) (equal (MeasureFn ?NUM2 ?U) (LatitudeFn ?DIR (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 3517-3537	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of UnitOfAngularMeasure and the real number is less than the other real number and the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to south
(=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)))))))))	Mid-level-ontology.kif 17535-17569	If an object is an instance of saw and a process is an instance of cutting and the object is an instrument for the process and another object is an instance of object and the other object is a patient of the process, then there exist another process, an entity,, , another entity,, , a time interval,, , a time position,, , another time position and a third object such that the other process is an instance of motion and the other process is a subprocess of the process and the third object is an instance of cutting device and the third object is a part of the object and the third object meets the other object and the third object is a patient of the other process and the other time position is an instance of time interval and the other time position is an instance of time interval and the time of existence of the other process is equal to the time interval and the time interval is a part of the time position and the time interval is a part of the other time position and the entity is an instance of directional attribute and the other entity is an instance of directional attribute and if entities in the process the other process are moving the entity holds during the time position, then entities in the process the other process are moving the other entity and the entity is equal to the other entity or the other entity is an opposite direction of the entity and ~{ the entity is equal to the other entity } or ~{ the other entity is an opposite direction of the entity } holds during the other time position
(=> (and (instance ?TC TropicalCyclonicSystem) (origin ?TC ?SEA) (or (instance ?SEA NorthAtlanticOcean) (instance ?SEA PacificOcean) (instance ?SEA IndianOcean))) (not (exists (?AREA ?DIR ?NUM ?LONG) (and (located ?AREA ?SEA) (instance ?DIR DirectionalAttribute) (objectGeographicCoordinates ?AREA (LatitudeFn ?DIR (MeasureFn ?NUM AngularDegree)) ?LONG) (or (equal ?DIR North) (equal ?DIR South)) (lessThan ?NUM 5.0)))))	Weather.kif 627-646	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number is less than 5.0
(=> (instance ?C Compass) (exists (?D) (and (instance ?D DirectionalAttribute) (represents ?C ?D))))	Mid-level-ontology.kif 2219-2224	If an entity is an instance of compass, then there exists another entity such that the other entity is an instance of directional attribute and the entity expresses the other entity
(=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionalAttribute) (or (and (holdsDuring (BeginFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (EndFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR)))) (and (holdsDuring (EndFn (WhenFn ?PROC)) (manner ?PROC ?ATTR)) (holdsDuring (BeginFn (WhenFn ?PROC)) (not (manner ?PROC ?ATTR))))))))	Merge.kif 11134-11145	If a physical is an instance of direction change, then there exists an entity such that the entity is an instance of directional attribute and the physical is performed in the manner the entity holds during the beginning of the time of existence of the physical and the physical is not performed in the manner the entity holds during the end of the time of existence of the physical or the physical is performed in the manner the entity holds during the end of the time of existence of the physical and the physical is not performed in the manner the entity holds during the beginning of the time of existence of the physical

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