Region - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1626-1629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1248-1254
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 208-211
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 247-251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10232-10232	Region is exhaustively partitioned into geographic area and space region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1246-1246	Region is a subclass of object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5022-5022	The range of flow region is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 792-792	The range of inner boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	The range of latitude is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 804-804	The range of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4237-4237	The range of where is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1307-1307	Airport staging area is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2113-2113	Assembly station is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 10-10	Atmosphere is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16939-16939	Dining area is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7733-7733	Educational campus is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7693-7693	Facility is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10249-10249	Flow region is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14169-14169	Geographic area is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9974-9974	Hole is a subclass of region
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 551-551	Hydrophilic side is a subclass of region
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 540-540	Hydrophobic side is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10347-10347	Indoors is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16914-16914	Kitchen area is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 302-302	Latitude is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27273-27273	Line in space is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 311-311	Longitude is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17159-17159	Magnetic field is a subclass of region
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2743-2743	Military base is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3689-3689	Multi modal transportation point is a subclass of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10335-10335	Outdoors is a subclass of region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 791-791	The number 1 argument of inner boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 776-776	The number 1 argument of maritime claims territorial sea is an instance of region
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6726-6726	The number 1 argument of market is an instance of region
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6742-6742	The number 2 argument of market is an instance of region
No TPTP formula. May not be expressible in strict first order.	Food.kif 1905-1905	The number 2 argument of meal attribute function is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-803	The number 1 argument of outer boundary is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 764-764	The number 1 argument of perimeter area is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6680-6680	The number 3 argument of velocity is an instance of region
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1314-1314	The number 1 argument of area of operation is an instance of region
No TPTP formula. May not be expressible in strict first order.	Biography.kif 194-194	The number 2 argument of baptizedplace is an instance of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26244-26244	The number 1 argument of canonical place name is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3221-3221	The number 4 argument of capable at location is an instance of region
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-790	The number 1 argument of capacity by arrangement is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1105-1105	The number 1 argument of cloud cover fraction is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1085-1085	The number 1 argument of daylight hours interval is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1095-1095	The number 1 argument of daylight hours total is an instance of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7847-7847	The number 1 argument of entrance is an instance of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7848-7848	The number 2 argument of entrance is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5106-5106	The number 1 argument of high tide is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5115-5115	The number 1 argument of low tide is an instance of region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	The number 1 argument of map of area is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4537-4537	The number 2 argument of provides destination is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3638-3638	The number 2 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3639-3639	The number 3 argument of route between is an instance of region
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3375-3375	The number 1 argument of route end is an instance of region

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3196-3206	An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32014-32021	If inhabited is an attribute of an object and the object is an instance of region, then there exists an organism such that the organism is an instance of human and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31998-32006	If uninhabited is an attribute of an object and the object is an instance of region, then there doesn't exist an organism such that the organism is an instance of human and the organism lives in the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1550	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27431-27443	If a plane in space is equal to the PlaneInSpace is perpendicular to the line formed by a point in space and the centre of the AstronomicalBody. and the point in space is a part of an object and the object is an instance of region and the object is located at an astronomical body, then there exists a finite line in space such that the finite line in space is an instance of line in space and the point in space and the centre of AstronomicalBody the astronomical body is are end points of the finite line in space and the plane in space is right angle to the finite line in space
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13794-13799	If a process is an instance of radiating light and an object is a patient of the process and the object is an instance of region, then illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1050-1057	If an object is an instance of laser and a process is an instance of radiating visible light and the object is an instrument for the process and another object is a patient of the process and the other object is an instance of region, then the other object is the color monochromatic
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	If a military operation is an instance of military operation and the military operation is located at a region and the region is an instance of region, then the region is the operational area for the military operation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 531-538	If a process is an instance of low pressure weather system and an object is an instance of region and the process is located at the object, then a real number inch mercury(s) is a barometric pressure of the object and the real number is less than 29.5
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	If an object is an instance of region and vacuum is an attribute of the object, then there doesn't exist a physical such that the physical is an instance of object and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3484-3489	If an object and another object overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3266-3287	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	If the region a directional attribute of @ROW is an instance of region, then 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.	Geography.kif 461-465	If the meridian at @ROW a directional attribute is an instance of region, then the directional attribute is equal to east or the directional attribute is equal to west
No TPTP formula. May not be expressible in strict first order.	Geography.kif 798-800	If a region is an instance of region, then the inner boundary of the region is a superficial part of the region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 810-812	If a region is an instance of region, then the outer boundary of the region is a superficial part of the region

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2987-2998	If a time interval is an instance of drought and the time interval is located at an object, then there don't exist another time interval and another object such that the other time interval is an instance of raining and the other object is an instance of region and the other time interval is located at the other object and the other object and the object overlapsSpatially and the time interval overlaps the other time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6140-6151	If an attribute is an instance of natural resource and the attribute is an attribute of the attributeO, then there exist another object and an entity such that the other object is an instance of region and the attributeO is a part of the other object or the entity is an instance of ElectromagenticSpectrum and the attributeO is equal to the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	If a process is an instance of locating and an entity is a patient of the process and an agent is an agent of the process, then the process has the purpose there exists another entity such that the other entity is an instance of region and the agent knows the entity is located at the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11693-11702	If a process is an instance of translocation and the process originates at an object, then there exist another object and another process such that the other object is an instance of region and the object is not equal to the other object and the other process is a subprocess of the process and the other process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31924-31954	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13801-13807	If illuminated is an attribute of an object, then there exists a process such that the process is an instance of radiating light and the object is a patient of the process and the object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1065-1073	If down and in room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of indoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1080-1088	If down and out room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of outdoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	If partial vacuum is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	If pressurized is an attribute of an object, then there exist another object, a third object,, , a real number,, , another real number and an unit of measure such that the other object is an instance of self connected object and the third object is an instance of region and the third object is not equal to the object and the object is connected to the other object and the third object is connected to the other object and the measure of the third object is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the unit of measure is an instance of unit of atmospheric pressure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1452-1464	If an object is an instance of temperature control, then there exist another object and an entity such that the other object is an instance of electric device and the object is a part of the other object and the other object has the purpose there exist another entity and a third entity such that the third entity is an instance of region and the other entity is an instance of process and the object is an instrument for the other entity and the entity is an air temperature of the third entity is a result of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18598-18611	If a process is an instance of entering, then there exist an entity and an agent such that the entity is an instance of region and the process ends up at the entity and the agent is an agent of the process and the agent is an instance of agent and the agent is outside to the entity holds during the beginning of the time of existence of the process and the agent is inside to the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18617-18630	If a process is an instance of exiting, then there exist an object and an agent such that the object is an instance of region and the process originates at the object and the agent is an agent of the process and the agent is an instance of agent and the agent is inside to the object holds during the beginning of the time of existence of the process and the agent is outside to the object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and the other self connected objectIR is equal to circle and the diameter of the other self connected objectIR is 4.25 inch(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1344-1358	If a physical is an instance of heavy raining, then there exist an entity and another entity such that the entity is an instance of region and the physical is located at the entity and the rate of rain in the entity during the time of existence of the physical is the per of the other entity millimeter(s) and 1 hour duration(s) and the other entity is greater than 10.0 and 50.0 is greater than the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7723-7731	If a content bearing physical is an instance of position report, then the content bearing physical contains the formula there exist an entity and another entity such that the entity is an instance of object and the other entity is an instance of region and the entity is located at the time of existence of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3382-3396	If a physical is an instance of rain showering, then there exist an entity, another entity and a third entity such that the entity is an instance of raining and the other entity is an instance of raining and the third entity is an instance of region and the entity is a subprocess of the physical and the other entity is a subprocess of the physical and the entity is located at the third entity and the other entity is located at the third entity and the time of existence of the other entity doesn't overlap the time of existence of the entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3433-3446	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Communications.kif 316-334	If a process is an instance of telemetry, then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and the other object is not equal to the object and the third process originates at the agent and the third process ends up at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10321-10323	If an object is inside to another object, then the other object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10317-10319	If an object is outside to another object, then the other object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Weather.kif 166-174	If a directional attribute is a surface wind direction of an object, then there exist a process and another object such that the process is an instance of wind and the other object is an instance of region and the process is partly located at the object and the process originates at the other object and the other object is the directional attribute to the object

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: