Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3840-3845	Objeto e' uma instancia de AegilopsGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de DiploidCell
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.	Mid-level-ontology.kif 129-137	Entidade e' uma instancia de OrganismRemains Processo e' uma instancia de Morte AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de AutonomousAgentTYPE AutonomousAgentTYPE e' uma sub-classe de Objeto Organico Entidade e' o resultado de Processo Entidade e' uma instancia de DeadFn AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1053-1058	Classe e' uma sub-classe de Substancia Substancia e' uma instancia de Classe Substancia e' uma peca de Substancia Substancia e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	annualExportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica exportTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15422-15429	ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de FactualText Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato ContentBearingPhysical subsume o conteudo de Formula Formula e' uma instancia de Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	defaultMinimumMeasure Objeto and Numero Real Unidade de Medida(s) Classe e' uma sub-classe de NonCompositeUnitOfMeasure Unidade de Medida e' uma instancia de Classe o argumento Entidade Numero RealUANTITY and Entidade Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Entidade(s) Entidade e' uma instancia de Classe Numero RealUANTITY e' menos que Numero Real tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16904-16908	Relacao e' uma instancia de EconomicRelation o argumento numero 1 de Relacao e' uma instancia de Classe Classe e' uma sub-classe de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3455-3484	WearableItem e' uma instancia de HearingProtection Animal e' uma instancia de Humano Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade WearableItem e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	Fisico e' uma instancia de CounterTerrorism Fisico tem por fim Entidade Entidade, Entidade and Entidade Fisico e' um agente de Entidade enemy Entidade and Entidade Entidade e' uma sub-classe de Terrorism Entidade e' uma instancia de Entidade Entidade e' um agente de Entidade Fisico proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	Objeto e' uma instancia de DurumWheatGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1263-1267	Area Geografica e' uma instancia de ClimateZone ClimateZone e' uma sub-classe de ClimateZone climateTypeInArea Area Geografica and ClimateZone
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo AutonomousAgent e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6087-6089	Grafo e' uma instancia de Grafo o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos e' uma sub-classe de o conjunto de caminhos que dividem Grafo em dois grafos distintos
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	ObsessiveCompulsiveDisorder e' um atributo de Agente Cognitivo Colecao Classe memberType Colecao and Classe Classe e' uma sub-classe de Investigacao Classe e' uma sub-classe de Cleaning ClasseI e' uma instancia de Classe ClasseI e' um agente de Agente Cognitivo Agente Cognitivo nao quer %n ClasseI
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 30-34	Classe e' uma sub-classe de AndroidOS Entidade e' uma instancia de Classe creator AlphabetCorporation and Entidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 826-831	Objeto Corpuscular e' uma instancia de ElectricalConductor Substancia Substancia e' uma sub-classe de ConductorSubstance Substancia e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31383-31390	applicableRelation Objeto and Relacao Objeto e' uma instancia de ObjetoC o argumento numero 1 de Relacao e' uma instancia de Classe ObjetoC e' igual a Classe ObjetoC e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3934-3939	Objeto e' uma instancia de EinkornWheatGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 93-97	Classe e' uma sub-classe de AppleIOS Entidade e' uma instancia de Classe creator AppleComputerCorporation and Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29718-29727	Fisico e' uma sub-classe de CoveringFn Parte do Corpo Fisico tem por fim Entidade Parte do CorpoI and FisicoI Entidade e' uma instancia de Cobrir Parte do CorpoI e' uma instancia de Parte do Corpo FisicoI e' uma instancia de Fisico Entidade termina em Parte do CorpoI FisicoI e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	Processo e' uma sub-classe de Processo Processo e' uma instancia de Processo eventLocated Processo and Regiao Role em Caso e' uma instancia de Role em Caso Objeto e' uma instancia de Objeto Regiao e' uma instancia de Area Geografica Role em Caso Processo and Objeto capableAtLocation Processo, Role em Caso, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2019-2024	Veiculo de Transporte e' uma instancia de Truck Objeto Objeto e' uma sub-classe de Objeto cargoType Veiculo de Transporte and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1231-1239	Objeto Corpuscular e' uma instancia de Objeto Corpuscular Substancia Substancia Substancia e' uma sub-classe de Substancia Substancia e' uma sub-classe de Substancia Substancia e' feito de Objeto Corpuscular Substancia e' feito de Objeto Corpuscular Substancia e' igual a Substancia
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2617-2622	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de AutonomousAgent Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Translocation, agent, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Geography.kif 983-987	Area Geopolitica e' uma instancia de LandlockedArea MaritimeClaimArea e' uma sub-classe de MaritimeClaimArea maritimeClaimType Area Geopolitica and MaritimeClaimArea
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	Colecao e' uma instancia de CrossFunctionalTeam Processo AutonomousAgent, AutonomousAgent and Entidade Processo e' uma sub-classe de Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao AutonomousAgent tem a capacidade de fazer Processo AutonomousAgent tem a capacidade de fazer Processo Entidade e' uma instancia de Processo Colecao esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	electricityConsumptionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityConsumption Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objeto Representendo Conteudo Abstrato e' uma sub-classe de JointPublication ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Formula AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato Organizacao Organizacao e' uma parte da organizacao USMilitary AutonomousAgent obriga Organizacao a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest Humano and AutonomousAgent stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent TemporaryResidence e' uma instancia de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em TemporaryResidence AutonomousAgent autoriza Humano a executar tarefas de tipo Entidade Entidade e' um agente de Humano Fisico e' um instrumento para Entidade Fisico e' um patient de Entidade Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16401-16406	Organismo e' um genitor de Organismo Classe e' uma sub-classe de Organismo Organismo e' uma instancia de Classe Organismo e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Government.kif 2331-2338	Objeto Representendo Conteudo Abstrato e' uma sub-classe de PartyPlatform Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato Agente Cognitivo e' uma instancia de PoliticalParty ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato containsFormula ContentBearingPhysical and Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	Veiculo de Transporte e' uma sub-classe de Veiculo de Transporte TransportationFn Veiculo de Transporte e' uma sub-classe de Transporte Processo e' uma instancia de TransportationFn Veiculo de Transporte Objeto Objeto e' uma instancia de Veiculo de Transporte Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	vegetationType Area Geografica and Planta Planta e' uma sub-classe de Planta Area Geografica e' uma instancia de Area Geografica Fisico Fisico e' uma instancia de Planta Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7527-7532	Objeto e' uma instancia de SportsTeam Processo Processo e' uma sub-classe de Esporte Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15453-15462	ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de FictionalText Agente Cognitivo e' o autor de Objeto Representendo Conteudo Abstrato Formula ContentBearingPhysical subsume o conteudo de Formula Formula e' uma instancia de Formula Agente Cognitivo acredita que Formula
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2029-2034	BiochemicalAgent e' uma sub-classe de TickBorneEncephalitisVirus Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de TickBorneEncephalitis biochemicalAgentSyndrome BiochemicalAgent and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	Catalog e' uma instancia de SetMenu offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de PreparedFood Fisico e' uma instancia de Classe Fisico e' uma instancia de Entidade Fisico e' igual a Fisico price Fisico, Medida de Divisa and AutonomousAgent price Fisico, Medida de Divisa and AutonomousAgent Medida de Divisa e' igual a Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Food.kif 3377-3383	Objeto e' uma instancia de Seafood Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Peixe
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 599-607	Objeto e' uma instancia de Objeto Objeto e' uma sub-classe de CellNucleus initialPart Objeto and EukaryoticCell Objeto Objeto e' uma instancia de Chromotin Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	sheddingLeaves Planta and PlantLeaf Planta e' uma instancia de DeciduousTree PlantLeaf e' uma instancia de PlantLeaf Processo Processo Processo e' uma sub-classe de Remover Processo ocorre todos os YearDuration Processo e' uma instancia de Processo Processo tem como origem Planta PlantLeaf e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	Fisico e' uma instancia de CounterOperation Fisico tem por fim Entidade Entidade, Entidade and Entidade Fisico e' um agente de Entidade enemy Entidade and Entidade Entidade e' uma sub-classe de MilitaryOperation Entidade e' uma instancia de Entidade Entidade e' um agente de Entidade Fisico proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18441	Fisico e' uma instancia de Protecting Fisico tem por fim Entidade Entidade, Entidade and EntidadeARM Entidade e' uma instancia de Objeto Objeto e' um patient de Fisico EntidadeARM e' uma sub-classe de a classe descrita por Entidade Fisico proibe a ocurrencia de EntidadeARM hinders Fisico and EntidadeARM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9670-9675	Medicine e' uma sub-classe de Antibiotic Doenca ou Sindrome Doenca ou Sindrome e' uma instancia de BacterialDisease medicine Medicine and Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	roomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto Objeto Objeto e' uma instancia de HotelUnit Fisico Objeto e' uma instancia de HotelUnit Fisico e' uma instancia de Fisico Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 337-352	Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo tem como origem Agente Cognitivo publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validPaymentType PricingScheme and Payment o argumento PaymentMENT PaymentMENT e' uma instancia de Payment PaymentMENT e' um sub-processo de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4732-4740	Fisico e' uma instancia de Iceberg Classe Classe e' uma sub-classe de Glacier Classe e' feito de Fisico vale durante imediatemente antes de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2329	Objeto Representendo Conteudo Abstrato e' uma sub-classe de PartyPlatform AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de PoliticalParty
No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	AutonomousAgent e' uma instancia de AutonomousAgent ElectionFn AutonomousAgent e' uma sub-classe de Election AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	WearableItem e' uma instancia de SafetyHarness Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Animal e' um patient de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3539-3560	WearableItem e' uma instancia de Respirator Animal e' uma instancia de Animal Animal usa WearableItem WearableItem tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo WearableItem e' um instrumento para Entidade Entidade proibe a ocurrencia de Entidade Entidade e' uma sub-classe de a classe descrita por Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14623-14637	Serie e' uma sub-classe de Periodico o volume Inteiro positivo na serie Serie e' igual a Texto o volume Inteiro positivo na serie Serie e' igual a Texto Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Texto Entidade e' uma instancia de Texto Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 998-1003	Area Geografica e' uma instancia de MaritimeClaimArea MaritimeClaimArea e' uma sub-classe de MaritimeClaimArea claimedTerritory Area Geografica and Area Geopolitica maritimeClaimType Area Geopolitica and MaritimeClaimArea
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized e' um atributo de Objeto Objeto e' uma instancia imediata de Classe Classe e' uma sub-classe de HotelUnit Fisico Numero Real, Numero Real and Unidade de Medida Fisico e' uma instancia imediata de Classe Unidade de Medida e' uma instancia de UnitOfArea a medida de Fisico e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' uma instancia de Medida de Area Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	importTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualImportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 354-370	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validFor PricingScheme and AutonomousAgent Entidade e' uma instancia de AutonomousAgent o argumento Entidade e' uma instancia de Comprar Entidade e' um agente de Entidade Entidade tem como origem Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 137-141	Classe e' uma sub-classe de Classe Classe e' uma instancia de Classe Classe e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	Entidade e' uma instancia de SheddingPart Entidade Entidade and Entidade Entidade e' uma instancia de EntidadeRG EntidadeRG e' uma sub-classe de Organismo EntidadeART Entidade e' uma instancia de DeadFn EntidadeART initialPart EntidadeART and EntidadeRG
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 62-66	Classe e' uma sub-classe de WindowsOS Entidade e' uma instancia de Classe creator MicrosoftCorporation and Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 828-830	Classe e' uma instancia de Classe Classe e' uma sub-classe de Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 208-212	Catalog e' uma instancia de BeverageMenu catalogItem Entidade and Catalog Entidade e' uma sub-classe de Bebida
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	exportTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualExportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1044-1059	subjectiveAttribute AutonomousAgent, Quick and AutonomousAgent subjectiveAttribute AutonomousAgent, Slow and AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent Unidade de Medida e' uma instancia de UnitOfDuration a duracao de tempo de existencia de Processo e' Numero Real Unidade de Medida(s) a duracao de tempo de existencia de Processo 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.	Cars.kif 1694-1699	Objeto Corpuscular e' uma instancia de CharcoalFilter Substancia Substancia e' uma sub-classe de Charcoal Substancia e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura barometricPressure Objeto and Numero Real InchMercury(s) 29.92 e' maior que Numero Real boilingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Gas e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	Veiculo de Transporte e' uma sub-classe de WaterVehicle Processo e' uma instancia de TransportationFn Veiculo de Transporte eventLocated Processo and Objeto Objeto e' uma instancia de Area Aquatica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 200-205	Relacao e' uma sub-relacao de Relacao Relacao e' uma instancia de Classe Classe e' uma sub-classe de InheritableRelation Relacao e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 98-104	Entidade e' uma instancia imediata de Classe Classe Classe e' uma sub-classe de Classe Classe e' igual a Classe Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	diseaseMedicine Doenca ou Sindrome, Bacitracin and Processo Doenca ou Sindrome e' uma instancia de BacterialDisease Processo e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	Pulmonologist e' um atributo de Objeto Processo Processo, Objeto and Objeto Classe e' uma sub-classe de Processo de Diagnostico Classe e' uma sub-classe de Processo Terapeutico Objeto e' um patient de Processo Objeto e' um patient de Processo Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Processo e' situado em Lung Processo e' situado em Lung
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14788-14797	Classe e' uma sub-classe de Newspaper Posicao Temporal e' uma instancia de Semana Processo Entidade Processo e' uma instancia de Publicacao tempo de existencia de Processo e' uma &parte de Posicao Temporal Entidade e' o resultado de Processo Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	vegetationType Area Geografica and Planta Planta e' uma sub-classe de Planta Area Geografica e' uma instancia de Area Geografica Fisico Fisico e' uma instancia de Planta Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	Processo e' uma instancia de Recreacao ou Exercicio ProcessoM e' um instrumento para Processo ProcessoM e' uma instancia de RowingMachine AutonomousAgent experimenta Processo ProcessoOW e' uma instancia de Rowing ProcessoMOT e' um sub-processo de Processo Classe e' uma sub-classe de Movimento do Corpo ProcessoMOT e' uma instancia de Classe ProcessoOWMOT ProcessoOWMOT e' uma instancia de Classe ProcessoOWMOT e' um sub-processo de Processo ProcessoOWMOT e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	electricityProductionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityProduction Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3993-3998	Objeto e' uma instancia de SpeltWheatGrass ObjetoELL e' uma &parte de Objeto ObjetoELL e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4467-4480	orthogonalTests Colecao and Colecao Objeto e' uma instancia de Humano Fisico e' uma instancia de Processo Processo e' uma sub-classe de Experimenting Fisico e' membro de Colecao Objeto e' capaz de fazer Processo no role experimentalSubject Fisico Processo Fisico e' uma instancia de Processo Fisico e' membro de Colecao Processo e' uma sub-classe de Experimenting Objeto e' capaz de fazer Processo no role experimentalSubject
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 698-715	Processo e' uma instancia de ViolentContest Objeto e' um patient de Processo InjuryCausedFn Processo e' um atributo de Objeto ImpairedBodyPartFn Airway e' um atributo de Objeto o argumento Processo e' uma sub-classe de Combustao Entidade Entidade e' uma instancia de Ferir Entidade e' situado em Entidade Entidade e' uma instancia de Face Objeto e' um patient de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21088-21100	ArtCritic e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Objeto de Arte tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Artigo Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4365-4372	Objeto e' uma instancia de Spice Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de PlantAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 989-996	maritimeClaimType Area Geopolitica and MaritimeClaimArea MaritimeClaimArea e' uma sub-classe de MaritimeClaimArea Area Geografica Area Geografica e' uma instancia de MaritimeClaimArea claimedTerritory Area Geografica and Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	Role em Caso e' uma instancia de Role em Caso Role em Caso Entidade and Objeto Entidade e' uma instancia de Processo Processo e' uma sub-classe de Processo Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	Objeto e' uma instancia de CommonWheatGrass ObjetoELL e' uma &parte de Objeto ObjetoELL e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	trafficableForTrafficType Regiao and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de Veiculo de Transporte Objeto e' uma instancia de Objeto auto-conectado capableAtLocation Transporte, instrument, Objeto and Regiao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 619-625	commemoratesDate Holiday and o dia Inteiro positivo Entidade e' uma instancia de Holiday Holiday e' uma sub-classe de FixedHoliday Numero Inteiro e' menor ou igual a Entidade-YEAR Entidade e' uma instancia de o dia Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	Objeto e' igual a AttrFn Objeto and Atributo Objeto e' uma instancia de Objeto Objeto e' uma instancia de Objeto Objeto e' uma sub-classe de Objeto Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 219-223	Catalog e' uma instancia de AlcoholMenu catalogItem Entidade and Catalog Entidade e' uma sub-classe de AlcoholicBeverage
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	Classe e' uma sub-classe de Tecido Classe e' uma sub-classe de Tecido Objeto e' uma instancia de Classe Objeto e' uma instancia de Classe Objeto e' uma instancia de Humano Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Classe e' igual a Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe Objeto e' Adjacent em relacao a Objeto o argumento Entidade Entidade e' uma instancia de ConnectiveTissue Entidade esta' entre Objeto e Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3948-3953	Objeto e' uma instancia de TriticumUrartu Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de DiploidCell
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3005-3010	O argumento numero Inteiro positivo de Relacao e' uma sub-classe de Classe Relacao e' uma instancia de Predicado Relacao @ROW Inteiro positivoth elemento de (@ROW) e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	naturalHazardTypeInArea Area Geografica and Fisico Fisico e' uma sub-classe de Processo Fisico Fisico e' uma instancia de Fisico Fisico e' situado em Area Geografica tempo de existencia de Area Geografica engloba tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Processo e' situado em TemporaryResidence Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo ProcessoRICE Unidade de Medida price Objeto, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	annualElectricityImport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityImportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	Objeto e' uma instancia de GameArtifact Processo Processo e' uma sub-classe de Jogo Objeto e' capaz de fazer Processo no role instrument
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3738-3742	AutonomousAgent e' uma instancia de AutonomousAgent Ano e' uma sub-classe de Ano FiscalYearStartingFn AutonomousAgent and Ano e' uma instancia de FiscalYearFn AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6931-6936	Area Geopolitica e' uma instancia de GeographicPartTypeFn Area Geografica and Area Geopolitica Area Geografica e' uma sub-classe de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14605-14612	Serie e' uma sub-classe de NewsProgram Entidade e' uma instancia de o volume Inteiro positivo na serie Serie Processo Processo e' uma instancia de Disseminar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1041-1048	Objeto Corpuscular e' uma instancia de SnowSki Substancia e' feito de Objeto Corpuscular Substancia e' uma sub-classe de Metal Substancia e' uma sub-classe de Wood Substancia e' uma sub-classe de Plastic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13831-13840	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 229-233	Catalog e' uma instancia de WineMenu catalogItem Entidade and Catalog Entidade e' uma sub-classe de WineMenu
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	annualElectricityConsumption Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityConsumptionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	annualImportTotal Area Geopolitica and Medida de Divisa vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica importTotalInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	Catalog e' uma instancia de Menu catalogItem Entidade and Catalog Entidade e' uma sub-classe de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	weaponCarryingCapability MilitaryVehicle, Arma and Inteiro positivo Objeto e' uma instancia de Arma Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Processo e' uma sub-classe de Causar Dano MilitaryVehicle e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3392-3396	Funcao e' uma instancia de Funcao Sequencia o contra-dominio de Funcao e' uma instancia de Classe Classe e' uma sub-classe de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	Fisico e' uma instancia de Wedding a data de Fisico e' Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro weddingAnniversary Fisico and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8292-8301	Entidade e' uma instancia de OccupationalTrade Entidade e' uma instancia de Profession Entidade e' um atributo de Entidade vale durante Posicao Temporal Classe Classe e' uma sub-classe de Campo de Estudos hasExpertise Entidade and Classe vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence ProcessoRICE Unidade de Medida price Processo, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	annualElectricityProduction Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityProductionInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	Objeto e' capaz de fazer Processo no role Role em Caso Processo e' uma sub-classe de Atirar Objeto Objeto e' uma instancia de Arma Objeto e' uma &parte de Objeto Objeto e' capaz de fazer Processo no role Role em Caso
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2271-2278	naturalHazardTypeInArea Area Geografica and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em Area Geografica
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 372-387	publishedPrice Entidade, Medida de Divisa, Agente Cognitivo and PricingScheme unitPrice Entidade, Funcao de Quantidade, Agente Cognitivo and PricingScheme Entidade e' uma sub-classe de Fisico Entidade e' uma instancia imediata de Entidade validityPeriod PricingScheme and Intervalo Temporal o argumento Entidade e' uma instancia de Vender Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade transactionAmount Entidade and Medida de Divisa tem a forca modal de Likely vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7350-7364	Objeto e' uma instancia de AuditoriumSeat Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Auditorium Objeto e' uma instancia de PerformanceStage Objeto e' situado em Objeto Objeto e' uma instancia de Humano Processo e' uma sub-classe de Visao Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Objeto e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2193-2203	Fisico e' uma instancia de CounterReconnaissance Fisico tem por fim Entidade Entidade, Entidade and Entidade Fisico e' um agente de Entidade enemy Entidade and Entidade Entidade e' uma sub-classe de ReconnaissanceOperation Entidade e' uma instancia de Entidade Entidade e' um agente de Entidade Fisico proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15015-15023	Colecao e' uma instancia de Industry Fisico Fisico and Classe Fisico e' membro de Colecao Fisico e' membro de Colecao Classe e' uma sub-classe de Empresa Fisico e' uma instancia imediata de Classe Fisico e' uma instancia imediata de Classe
No TPTP formula. May not be expressible in strict first order.	Food.kif 1909-1915	Objeto e' uma instancia de Carne Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	Objeto e' uma instancia de EmmerWheatGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	Objeto e' uma instancia de FoodFromPlant Objeto Objeto Organico Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto Organico e' uma sub-classe de Planta
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	defaultMaximumMeasure Objeto and Numero Real Unidade de Medida(s) Classe e' uma sub-classe de NonCompositeUnitOfMeasure Unidade de Medida e' uma instancia de Classe o argumento Entidade Numero RealUANTITY and Entidade Entidade e' uma instancia de Objeto a medida de Entidade e' Numero RealUANTITY Entidade(s) Entidade e' uma instancia de Classe Numero RealUANTITY Entidade(s) e' maior que Numero Real Unidade de Medida(s) tem a forca modal de Unlikely
No TPTP formula. May not be expressible in strict first order.	engineering.kif 855-860	Objeto Corpuscular e' uma instancia de ResistorElement Substancia Substancia e' uma sub-classe de InsulatorSubstance Substancia e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 139-150	offersAtTime AutonomousAgent, Catalog and Intervalo Temporal catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Intervalo Temporal capabilityDuring Processo, agent, AutonomousAgent and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	roomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de HotelUnit Entidade e' um elemento de propriedade de Entidade Entidade e' um agente de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18083-18091	Processo e' uma instancia de Harvesting Entidade e' o resultado de Processo EntidadeRG Entidade e' uma instancia de DeadFn EntidadeRG EntidadeRG e' uma sub-classe de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21065-21079	NewsReporter e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Processo tempo de existencia de Objeto engloba tempo de existencia de Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Newspaper Entidade e' uma sub-classe de NewsProgram Objeto e' o autor de Entidade Entidade inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Proposicao o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Entidade Entidade exprime o conteudo de Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Fisico o argumento Entidade Entidade Entidade e' uma instancia de Entidade Entidade e' uma instancia de Vender Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	Objeto e' uma instancia de River trafficableForTrafficType Objeto and Objeto auto-conectado Objeto auto-conectado e' uma sub-classe de WaterVehicle Objeto e' uma instancia de Waterway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3600-3605	Objeto Corpuscular e' uma instancia de CurrencyCoin Substancia Substancia e' uma sub-classe de Metal Substancia e' feito de Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14705-14709	codeMapping ISO-639-1, Sequencia Simbolica and Entidade Entidade e' uma instancia de Linguagem Humana Entidade e' uma instancia de Entidade e' uma sub-classe de Linguagem Humana
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Processo o argumento Entidade Entidade and Entidade Entidade e' um elemento de propriedade de AutonomousAgent Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Fisico Entidade e' um sub-processo de Entidade Entidade e' situado em Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	Objeto e' uma instancia de Substancia Composta Substancia Composta e' uma sub-classe de Substancia Composta Objeto Objeto e' uma instancia de Substancia Composta Objeto e' uma &parte de Objeto molecularRatio Substancia Elementar, Numero Inteiro and Substancia Composta Colecao e' uma instancia de Grupo Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia Elementar memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 130-137	offersAtTime AutonomousAgent, Catalog and Intervalo Temporal catalogItem Entidade and Catalog Entidade e' uma sub-classe de Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Intervalo Temporal capabilityDuring Entidade, agent, AutonomousAgent and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	Entidade e' uma instancia de Carne Carne e' uma sub-classe de Seafood Organismo EntidadeEA and Animal meatOfAnimal Carne and Animal Organismo e' uma instancia de Animal EntidadeEA e' uma instancia de BodyOfWater Organismo vive em EntidadeEA
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	annualElectricityExport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica electricityExportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	Fisico e' uma sub-classe de Immunosuppressive Fisico tem por fim Entidade e' uma instancia de AutoImmuneDisorder diseaseMedicine Entidade, Fisico and Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	electricityExportInPeriod Area Geopolitica, Quantidade Fisica and Intervalo Temporal Intervalo Temporal e' uma sub-classe de Ano Intervalo Temporal e' uma sub-classe de FiscalYearFn Area Geopolitica Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualElectricityExport Area Geopolitica and Quantidade Fisica vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 143-147	Classe e' uma sub-classe de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23259-23266	playsRoleInEvent Objeto, Role em Caso and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Processo existe durante Posicao Temporal eventLocated Processo and Objeto playsRoleInEventOfType Objeto, Role em Caso, Processo, Posicao Temporal and Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	Processo e' uma instancia de Felling Entidade e' o resultado de Processo EntidadeTEM Entidade e' uma instancia de DeadFn EntidadeTEM EntidadeTEM e' uma sub-classe de PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	Objeto e' uma instancia de Planta Objeto e' uma &parte de Objeto Processo Entidade and Processo Processo e' uma instancia de Processo Processo e' uma sub-classe de Manter Entidade e' uma instancia de FreshWater Entidade e' um patient de Processo Objeto e' capaz de fazer Processo no role instrument Objeto e' uma instancia de PlantLeaf Objeto e' uma instancia de PlantStem
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 129-129	subclass e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 130-130	subclass e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18494-18494	subclass e' uma instancia de ClosedWorldPredicate

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