TreeView 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 9026-9026	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 15566-15566	DiningArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9043-9043	FlowRegion e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14031-14031	Area Geografica e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9851-9851	Buraco e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 547-547	HydrophilicSide e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 536-536	HydrophobicSide e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9141-9141	Indoors e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15541-15541	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 9129-9129	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 26634-26634	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 22217-22217	Road e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15528-15528	SittingArea e' uma sub-classe de Regiao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9067-9067	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 24580-24580	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 870-870	O argumento numero 1 de cloudCoverFraction e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 850-850	O argumento numero 1 de daylightHoursInterval e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 860-860	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 31194-31194	O argumento numero 1 de totalArea e' uma instancia de Regiao
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702	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 2680-2690	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 30120-30127	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 30104-30112	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.	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 13655-13660	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.	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 2750-2771	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 2471-2482	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 11558-11567	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 30030-30060	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 13662-13668	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.	Weather.kif 1109-1123	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 2865-2879	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 2916-2929	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 9115-9117	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 9111-9113	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: