DirectionalAttribute - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 17023-17024
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png")	pictureList.kif 10864-10864
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG")	pictureList.kif 9984-9984
(subclass DirectionalAttribute PositionalAttribute)	Merge.kif 17022-17022	Directional attribute is a subclass of positional attribute

appearance as argument number 2

(instance East DirectionalAttribute)	Merge.kif 17044-17044	East is an instance of directional attribute
(instance North DirectionalAttribute)	Merge.kif 17033-17033	North is an instance of directional attribute
(instance Northeast DirectionalAttribute)	Geography.kif 3648-3648	Northeast is an instance of directional attribute
(instance Northwest DirectionalAttribute)	Geography.kif 3682-3682	Northwest is an instance of directional attribute
(instance South DirectionalAttribute)	Merge.kif 17037-17037	South is an instance of directional attribute
(instance Southeast DirectionalAttribute)	Geography.kif 3659-3659	Southeast is an instance of directional attribute
(instance Southwest DirectionalAttribute)	Geography.kif 3670-3670	Southwest is an instance of directional attribute
(instance West DirectionalAttribute)	Merge.kif 17047-17047	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
(termFormat FrenchLanguage DirectionalAttribute "attribut directionnel")	french_format.kif 915-915
(termFormat Hindi DirectionalAttribute "dishaatmaka visheshataa")	terms-hindi.txt 448-448
(termFormat ItalianLanguage DirectionalAttribute "AttributoDirezionale")	terms-it.txt 451-451
(termFormat JapaneseLanguage DirectionalAttribute "方向属性")	japanese_format.kif 2599-2599
(termFormat PortugueseLanguage DirectionalAttribute "Atributo Directional")	portuguese_format.kif 867-867
(termFormat cb DirectionalAttribute "paaging hiyas")	terms-cb.txt 453-453
(termFormat cz DirectionalAttribute "directional attribute")	terms-cz.txt 487-487
(termFormat ro DirectionalAttribute "atribut direcþional")	relations-ro.kif 936-936
(termFormat tg DirectionalAttribute "katangian ng Pamamahala")	terms-tg.txt 452-452

appearance as argument number 3

(domain AccelerationFn 4 DirectionalAttribute)	Cars.kif 1277-1277	The number 4 argument of Acceleration fn 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 6671-6671	The number 4 argument of velocity is an instance of directional attribute
(domain faces 2 DirectionalAttribute)	Merge.kif 16977-16977	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 3770-3770	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 1688-1688	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 17026-17031	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 3595-3615	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 unit of angular measure 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 18149-18183	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 623-642	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 2264-2269	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 11301-11312	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 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