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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3802-3803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17072-17073
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10864-10864
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9984-9984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17071-17071	Directional attribute is a subclass of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17093-17093	East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17082-17082	North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3648-3648	Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3682-3682	Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17086-17086	South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3659-3659	Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3670-3670	Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17096-17096	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1277-1277	The number 4 argument of Acceleration fn is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 477-477	The number 1 argument of directional subregion is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 406-406	The number 1 argument of latitude is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 444-444	The number 1 argument of longitude is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6672-6672	The number 4 argument of velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17026-17026	The number 2 argument of faces is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 241-241	The number 3 argument of high altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 192-192	The number 3 argument of low altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3770-3770	The number 3 argument of magnetic variation is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 218-218	The number 3 argument of medium altitude wind velocity is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1688-1688	The number 2 argument of slope gradient towards orientation is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 157-157	The number 2 argument of surface wind direction is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Weather.kif 106-106	The number 3 argument of surface wind velocity is an instance of directional attribute

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17075-17080	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18177-18211	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 611-630	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2257-2262	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11325-11336	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