DirectionalAttribute - Sigma Knowledge base Browser

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 17176-17177
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10862-10862
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9983-9983
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17175-17175	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 17197-17197	East is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17186-17186	North is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3806-3806	Northeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3840-3840	Northwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17190-17190	South is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3817-3817	Southeast is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3828-3828	Southwest is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17200-17200	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1237-1237	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1695-1695	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	french_format.kif 915-915	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 448-448	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 451-451	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2599-2599	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 867-867	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 453-453	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 487-487	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 746-746	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 936-936	West is an instance of directional attribute
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 452-452	West is an instance of directional attribute

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 647-647	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 576-576	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 614-614	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 6696-6696	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 17130-17130	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.	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 1846-1846	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 17179-17184	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 663-668	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 670-675	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 3753-3773	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 equal the other real number the unit of measure(s) and the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and equal the directional attribute and north or equal the directional attribute and south
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19721-19755	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 equal the time of existence of the other process and 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 equal the entity and the other entity or the other entity is an opposite direction of the entity and ~{ equal the entity and 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 equal the directional attribute and north or equal the directional attribute and 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 2727-2732	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 11429-11440	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

KB Term:			Term intersection

English Word: