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	O conceito Regiao e' completamente decomposto em Area Geografica + SpaceRegion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	Regiao e' uma sub-classe de Objeto

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	O contra-dominio de FlowRegionFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 797-797	O contra-dominio de InnerBoundaryFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 410-410	O contra-dominio de LatitudeFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 809-809	O contra-dominio de OuterBoundaryFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4224-4224	O contra-dominio de WhereFn e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 10-10	Atmosphere e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15565-15565	DiningArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9042-9042	FlowRegion e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14053-14053	Area Geografica e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9873-9873	Buraco e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 546-546	HydrophilicSide e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 535-535	HydrophobicSide e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9140-9140	Indoors e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15540-15540	KitchenArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 302-302	Latitude e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 311-311	Longitude e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9128-9128	Outdoors e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 31-31	ParkingRegion e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26622-26622	Patio e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 762-762	PerimeterArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Dining.kif 982-982	PlayArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1354-1354	RealEstate e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22216-22216	Road e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15527-15527	SittingArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9066-9066	SpaceRegion e' uma sub-classe de Regiao

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2676-2686	Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30108-30115	Inhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30092-30100	Uninhabited e' um atributo de Objeto Objeto e' uma instancia de Regiao Organismo Organismo e' uma instancia de Humano Organismo vive em Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1541-1549	cylinderBore Buraco and Medida de Comprimento Buraco e' uma instancia de Buraco shape Buraco and Cylinder Objeto e' uma &parte de Buraco Objeto e' uma instancia de Regiao shape Objeto and Circle o diametro de Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 427-431	LatitudeFn Atributo Directional and @ROW e' uma instancia de Regiao 1th elemento de (@ROW) e' igual a Numero Real AngularDegree(s) Numero Real e' menor ou igual a 90.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 467-474	LongitudeFn Atributo Directional and @ROW e' uma instancia de Regiao 1th elemento de (@ROW) e' igual a Numero Real AngularDegree(s) Numero Real e' menor ou igual a 180.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13677-13682	Processo e' uma instancia de Luz Irradiante Objeto e' um patient de Processo Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1326-1331	MilitaryOperation e' uma instancia de MilitaryOperation eventLocated MilitaryOperation and Regiao Regiao e' uma instancia de Regiao areaOfOperation Regiao and MilitaryOperation
No TPTP formula. May not be expressible in strict first order.	Weather.kif 543-550	Processo e' uma instancia de LowPressureWeatherSystem Objeto e' uma instancia de Regiao eventLocated Processo and Objeto barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' menos que 29.5
No TPTP formula. May not be expressible in strict first order.	Cars.kif 368-376	Objeto e' uma instancia de Regiao Vacuum e' um atributo de Objeto Fisico Fisico e' uma instancia de Objeto Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3496-3501	Objeto engloba Objeto Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' parcialmente localizado em Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de NightTime Processo e' uma instancia de Looking Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto a medida de Objeto e' 1000.0 Candela(s) Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 421-425	LatitudeFn Atributo Directional and @ROW e' uma instancia de Regiao Atributo Directional e' igual a North Atributo Directional e' igual a South
No TPTP formula. May not be expressible in strict first order.	Geography.kif 461-465	LongitudeFn Atributo Directional and @ROW e' uma instancia de Regiao Atributo Directional e' igual a East Atributo Directional e' igual a West
No TPTP formula. May not be expressible in strict first order.	Geography.kif 803-805	Regiao e' uma instancia de Regiao InnerBoundaryFn Regiao e' uma parte superficial de Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 815-817	Regiao e' uma instancia de Regiao OuterBoundaryFn Regiao e' uma parte superficial de Regiao

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2478	Intervalo Temporal e' uma instancia de Drought eventLocated Intervalo Temporal and Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de Raining Objeto e' uma instancia de Regiao eventLocated Intervalo Temporal and Objeto Objeto engloba Objeto Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	Processo e' uma instancia de Locating Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo tem por fim Entidade Entidade e' uma instancia de Regiao AutonomousAgent sabe Entidade e' situado em Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	Processo e' uma instancia de Translocation Processo tem como origem Objeto Objeto Processo Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Processo e' um sub-processo de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	Processo e' uma instancia de BreakingRecord Processo e' um agente de AutonomousAgent Conjunto Classe, Processo, Ponto no tempo, Role em Caso, Objeto and Entidade Conjunto e' uma instancia de Conjunto AutonomousAgent e' um elemento de Conjunto Classe e' uma sub-classe de Processo Objeto e' uma instancia de Regiao Ponto no tempo e' uma instancia de Ponto no tempo Entidade e' uma instancia de Quantidade Processo e' uma instancia de Classe Processo inclui uma referencia a Entidade Entidade inclui uma referencia a Processo playsRoleInEvent AutonomousAgent, Role em Caso and Processo eventLocated Processo and Objeto Entidade Entidade Entidade e' uma instancia de Conjunto Entidade e' igual a AutonomousAgent Entidade e' uma instancia de Classe playsRoleInEvent Entidade, Role em Caso and Entidade eventLocated Entidade and Objeto vale durante o intervalo entre Ponto no tempo e o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13684-13690	Illuminated e' um atributo de Objeto Processo Processo e' uma instancia de Luz Irradiante Objeto e' um patient de Processo Objeto e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	OpenLayout e' um atributo de Objeto Objeto e' uma instancia de Comodo Objeto Objeto and Objeto Objeto e' uma instancia de Regiao Objeto e' uma instancia de Regiao Objeto e' situado em Objeto Objeto e' situado em Objeto Objeto e' igual a Objeto Objeto e' Adjacent em relacao a Objeto Formula Formula Formula e' uma instancia de Processo Formula e' uma instancia de Processo Objeto tem por fim Formula Objeto tem por fim Formula Objeto e' uma instancia de AutonomousAgent Objeto e' situado em Objeto Objeto e' capaz de fazer Visao no role agent Objeto e' capaz de fazer Visao no role patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1057-1065	DownAndInRoom e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Indoors Objeto e' uma instancia de Regiao Objeto e' Adjacent em relacao a Objeto Objeto e' Outside em relacao a Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1072-1080	DownAndOutRoom e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Outdoors Objeto e' uma instancia de Regiao Objeto e' Adjacent em relacao a Objeto Objeto e' Outside em relacao a Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Cars.kif 383-396	PartialVacuum e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 403-416	Pressurized e' um atributo de Objeto Objeto Objeto, Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Objeto auto-conectado Objeto e' uma instancia de Regiao Objeto e' igual a Objeto Objeto e' conectado com Objeto Objeto e' conectado com Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfAtmosphericPressure Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	Objeto e' uma instancia de TemperatureControl Objeto Entidade Objeto e' uma instancia de ElectricDevice Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Regiao Entidade e' uma instancia de Processo Objeto e' um instrumento para Entidade airTemperature Entidade and Entidade e' o resultado de Entidade
No TPTP formula. May not be expressible in strict first order.	Sports.kif 964-973	Objeto auto-conectado e' uma instancia de GolfHole Objeto auto-conectado shape Objeto auto-conectado and Cylinder o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' uma instancia de Regiao shape Objeto auto-conectado and Circle o diametro de Objeto auto-conectado e' 4.25 Inch(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1105-1119	Fisico e' uma instancia de HeavyRaining Entidade Entidade Entidade e' uma instancia de Regiao eventLocated Fisico and Entidade rainfallIntensity Entidade, tempo de existencia de Fisico and PerFn Entidade Millimeter(s) and 1 HourDuration(s) Entidade e' maior que 10.0 50.0 e' maior que Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2861-2875	Fisico e' uma instancia de RainShowering Entidade Entidade and Entidade Entidade e' uma instancia de Raining Entidade e' uma instancia de Raining Entidade e' uma instancia de Regiao Entidade e' um sub-processo de Fisico Entidade e' um sub-processo de Fisico eventLocated Entidade and Entidade eventLocated Entidade and Entidade tempo de existencia de Entidade nao engloba %n tempo de existencia de Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2912-2925	Fisico e' uma instancia de Storm Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de LowPressureWeatherSystem Entidade e' uma instancia de Regiao eventLocated Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de MotionUpward Entidade e' um patient de Entidade eventLocated Entidade and Entidade Entidade e' um sub-processo de Entidade vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9114-9116	Objeto e' Inside em relacao a Objeto Objeto e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9112	Objeto e' Outside em relacao a Objeto Objeto e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	surfaceWindDirection Objeto and Atributo Directional Processo Objeto Processo e' uma instancia de Wind Objeto e' uma instancia de Regiao eventPartlyLocated Processo and Objeto Processo tem como origem Objeto Objeto e' Atributo Directional em relacao a Objeto

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: