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 1253-1259
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 9025-9025	R�gion est compl�tement d�compos� en secteur g�ographique + SpaceRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	R�gion est une sous-classe de objet

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	Le domaine de FlowRegionFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 797-797	Le domaine de InnerBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	Le domaine de LatitudeFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 809-809	Le domaine de OuterBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4224-4224	Le domaine de WhereFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 10-10	Atmosphere est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15565-15565	DiningArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9042-9042	FlowRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Secteur g�ographique est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9873-9873	Trou est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 546-546	HydrophilicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 535-535	HydrophobicSide est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9140-9140	Indoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15540-15540	KitchenArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 302-302	Latitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 311-311	Longitude est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9128-9128	Outdoors est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 31-31	ParkingRegion est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26622-26622	Patio est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	PerimeterArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Dining.kif 982-982	PlayArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1354-1354	RealEstate est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22216-22216	Road est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15527-15527	SittingArea est une sous-classe de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9066-9066	SpaceRegion est une sous-classe de r�gion

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 796-796	Le nombre 1 argument de InnerBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 781-781	Le nombre 1 argument de MaritimeClaimsTerritorialSeaFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Food.kif 1899-1899	Le nombre 2 argument de MealAttributeFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 808-808	Le nombre 1 argument de OuterBoundaryFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 769-769	Le nombre 1 argument de PerimeterAreaFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6670-6670	Le nombre 3 argument de VelocityFn est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1314-1314	Le nombre 1 argument de areaOfOperation est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Biography.kif 189-189	Le nombre 2 argument de baptizedplace est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24579-24579	Le nombre 1 argument de canonicalPlaceName est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2690-2690	Le nombre 4 argument de capableAtLocation est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 786-786	Le nombre 1 argument de capacityByArrangement est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 866-866	Le nombre 1 argument de cloudCoverFraction est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 846-846	Le nombre 1 argument de daylightHoursInterval est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 856-856	Le nombre 1 argument de daylightHoursTotal est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5010-5010	Le nombre 1 argument de highTide est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5019-5019	Le nombre 1 argument de lowTide est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	Le nombre 1 argument de mapOfArea est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3396-3396	Le nombre 2 argument de providesDestination est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2904-2904	Le nombre 2 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2905-2905	Le nombre 3 argument de routeBetween est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2777-2777	Le nombre 1 argument de routeEnd est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2754-2754	Le nombre 1 argument de routeStart est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31190-31190	Le nombre 1 argument de totalArea est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2698-2698	Le nombre 1 argument de visibilityInMeteorology est une instance de r�gion

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2676-2686	Entit� est une instance de r�gion entit� a un attribute StandardAmbientTemperaturePressure pendant position temporel airTemperature entit� and 298.15 KelvinDegree(s) barometricPressure entit� and 29.530 InchMercury(s) pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30108-30115	Inhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30092-30100	Uninhabited est un attribut de objet objet est une instance de r�gion organisme organisme est une instance de humain organisme vie � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	cylinderBore trou and mesure de longueur trou est une instance de trou shape trou and Cylinder objet est une partie de trou objet est une instance de r�gion shape objet and Circle le diam�tre de objet est mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	LatitudeFn attribut directionnel and @ROW est une instance de r�gion 1th nombre r�el AngularDegree(s) nombre r�el est plus petit ou �gal � 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	LongitudeFn attribut directionnel and @ROW est une instance de r�gion 1th nombre r�el AngularDegree(s) nombre r�el est plus petit ou �gal � 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13677-13682	Processus est une instance de lumi�re irradiante objet est un patient de processus objet est une instance de r�gion Illuminated est un attribut de objet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	MilitaryOperation est une instance de MilitaryOperation eventLocated MilitaryOperation and r�gion r�gion est une instance de r�gion areaOfOperation r�gion and MilitaryOperation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 543-550	Processus est une instance de LowPressureWeatherSystem objet est une instance de r�gion eventLocated processus and objet barometricPressure objet and nombre r�el InchMercury(s) nombre r�el est moins que 29.5
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	Objet est une instance de r�gion Vacuum est un attribut de objet physique physique est une instance de objet physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	Objet recouvre objet objet est une instance de r�gion objet est objet objet est partiellement localis� � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	visibilityInMeteorology r�gion, interval temporel and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure interval temporel est une instance de NightTime processus est une instance de Looking objet est une instance de r�gion Illuminated est un attribut de objet la mesure de objet est 1000.0 Candela(s) processus est un agent de AutonomousAgent objet est un patient de processus AutonomousAgent est Horizontal � objet eventLocated processus and r�gion temps d'existence de processus prend place pendant interval temporel objet est une instance de objet nombre r�el la distance entre AutonomousAgent et objet est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	LatitudeFn attribut directionnel and @ROW est une instance de r�gion attribut directionnel est North attribut directionnel est South
No TPTP formula. May not be expressible in strict first order.	Geography.kif 461-465	LongitudeFn attribut directionnel and @ROW est une instance de r�gion attribut directionnel est East attribut directionnel est West
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-805	R�gion est une instance de r�gion InnerBoundaryFn r�gion est une partie superficielle de r�gion
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	R�gion est une instance de r�gion OuterBoundaryFn r�gion est une partie superficielle de r�gion

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	Interval temporel est une instance de Drought eventLocated interval temporel and objet interval temporel objet interval temporel est une instance de Raining objet est une instance de r�gion eventLocated interval temporel and objet objet recouvre objet interval temporel recouvre interval temporel
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	Processus est une instance de Locating entit� est un patient de processus processus est un agent de AutonomousAgent processus a pour but entit� entit� est une instance de r�gion AutonomousAgent conna�t entit� est situ� � entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	Processus est une instance de Translocation processus a pour origine objet objet processus objet est une instance de r�gion objet est objet processus est un sous-processus de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processus est une instance de BreakingRecord processus est un agent de AutonomousAgent ensemble classe, processus, point temporel, r�le d�pendant du cas, objet and entit� ensemble est une instance de ensemble AutonomousAgent est un ensemble classe est une sous-classe de processus objet est une instance de r�gion point temporel est une instance de point temporel entit� est une instance de quantit� processus est une instance de classe processus inclut une r�f�rence � entit� entit� inclut une r�f�rence � processus playsRoleInEvent AutonomousAgent, r�le d�pendant du cas and processus eventLocated processus and objet entit� entit� entit� est une instance de ensemble entit� est AutonomousAgent entit� est une instance de classe playsRoleInEvent entit�, r�le d�pendant du cas and entit� eventLocated entit� and objet pendant l'intervale entre point temporel et la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13684-13690	Illuminated est un attribut de objet processus processus est une instance de lumi�re irradiante objet est un patient de processus objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout est un attribut de objet objet est une instance de pi�ce objet objet and objet objet est une instance de r�gion objet est une instance de r�gion objet est situ� � objet objet est situ� � objet objet est objet objet est Adjacent � objet formule formule formule est une instance de processus formule est une instance de processus objet a pour but formule objet a pour but formule objet est une instance de AutonomousAgent objet est situ� � objet objet est capable de faire voir dans le r�le agent objet est capable de faire voir dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	DownAndInRoom est un attribut de objet objet objet objet est une instance de Indoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom est un attribut de objet objet objet objet est une instance de Outdoors objet est une instance de r�gion objet est Adjacent � objet objet est Outside � objet objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized est un attribut de objet objet objet, nombre r�el, nombre r�el and unit� de mesure objet est une instance de objet en une partie objet est une instance de r�gion objet est objet objet est connect� � objet objet est connect� � objet la mesure de objet est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfAtmosphericPressure nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	Objet est une instance de TemperatureControl objet entit� objet est une instance de ElectricDevice objet est une partie de objet objet a pour but entit� entit� entit� est une instance de r�gion entit� est une instance de processus objet est un instrument pour entit� airTemperature entit� and entit� est le resultat de entit�
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	Objet en une partie est une instance de GolfHole objet en une partie shape objet en une partie and Cylinder le dessus de objet en une partie est objet en une partie objet en une partie est une instance de r�gion shape objet en une partie and Circle le diam�tre de objet en une partie est 4.25 Inch(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1105-1119	Physique est une instance de HeavyRaining entit� entit� entit� est une instance de r�gion eventLocated physique and entit� rainfallIntensity entit�, temps d'existence de physique and PerFn entit� Millimeter(s) and 1 HourDuration(s) entit� est plus grand que 10.0 50.0 est plus grand que entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2861-2875	Physique est une instance de RainShowering entit� entit� and entit� entit� est une instance de Raining entit� est une instance de Raining entit� est une instance de r�gion entit� est un sous-processus de physique entit� est un sous-processus de physique eventLocated entit� and entit� eventLocated entit� and entit� temps d'existence de entit� ne recouvre %n{pas} temps d'existence de entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2912-2925	Physique est une instance de Storm entit� entit�, entit� and entit� entit� est une instance de LowPressureWeatherSystem entit� est une instance de r�gion eventLocated entit� and entit� entit� est une instance de Air entit� est une instance de MotionUpward entit� est un patient de entit� eventLocated entit� and entit� entit� est un sous-processus de entit� pendant temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9114-9116	Objet est Inside � objet objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9112	Objet est Outside � objet objet est une instance de r�gion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	surfaceWindDirection objet and attribut directionnel processus objet processus est une instance de Wind objet est une instance de r�gion eventPartlyLocated processus and objet processus a pour origine objet objet est attribut directionnel � objet

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: