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

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 15800-15801
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10885-10885
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10002-10002
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15799-15799	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 15821-15821	East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15810-15810	North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3486-3486	Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3520-3520	Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15814-15814	South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3497-3497	Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3508-3508	Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15824-15824	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 1700-1700

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1278-1278	The number 4 argument of AccelerationFn 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 6351-6351	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 15754-15754	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 240-240	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 191-191	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 3608-3608	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 217-217	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 1641-1641	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 156-156	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 96-96	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 15803-15808	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.	Mid-level-ontology.kif 15896-15930	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.	Mid-level-ontology.kif 2725-2730	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 10512-10523	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners