No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	Processo e' uma instancia de Dodging Processo e' um agente de AutonomousAgent ProcessoT e' igual a tempo de existencia de Processo Processo tem por fim Entidade ProcessoT encontra tempo de existencia de Entidade tempo de existencia de Entidade engloba ProcessoT Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12737-12750	Processo e' uma instancia de Decodificar ContentBearingPhysical e' um patient de Processo Entidade ContentBearingPhysical, Posicao Temporal and Proposicao ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical contem informacao Proposicao Posicao Temporal e' uma &parte de antes de tempo de existencia de Processo Entidade e' uma instancia de Codificar ContentBearingPhysical e' um patient de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13453-13462	Processo e' uma instancia de DefensiveManeuver Processo e' um agente de AutonomousAgent Processo tem finalidade Entidade Entidade e' uma instancia de Causar Dano AutonomousAgent e' um patient de Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	Processo e' uma instancia de PreciseDestruction Entidade e' um patient de Processo Processo tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um sub-processo de Processo Entidade e' um patient de Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	Processo e' uma instancia de Discovering Entidade e' um patient de Processo Entidade e' situado em Entidade vale durante tempo de existencia de Processo Processo Processo e' uma instancia de Aprender Processo e' um sub-processo de Processo Entidade e' situado em Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1398-1407	Entidade e' uma instancia de AbsoluteDud Processo e' uma instancia de TakingOff Entidade e' um patient de Processo Processo Processo e' uma instancia de Explosion Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	Processo e' uma instancia de Downtick Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Processo AutonomousAgent and Numero Real Processo e' uma instancia de StockMarketTransaction Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent AutonomousAgent encontra AutonomousAgent price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	Objeto Corpuscular e' uma instancia de Exhaust Fuel e' feito de Objeto Corpuscular Transferencia e' uma instancia de Transferencia Objeto CorpuscularNG e' uma instancia de Engine Transferencia tem como origem Objeto CorpuscularNG Fisico e' uma instancia de CatalyticConverter Transferencia termina em Fisico objectTransferred Transferencia and Objeto Corpuscular Fisico tem por fim Entidade Entidade e' uma instancia de Combustao Fisico e' um instrumento para Entidade Objeto Corpuscular e' um patient de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16689-16701	Processo e' uma instancia de Matricula Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de College Processo AutonomousAgent Processo e' uma instancia de Graduacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de SecondarySchool tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2148-2160	Objeto e' uma instancia de EngineCoolingSystem Objeto e' uma instancia de Engine Objeto e' uma instancia de Automobile Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Resfriar Objeto e' um instrumento para Entidade Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11653-11661	Processo e' uma instancia de Processo Educacional Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Aprender Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 257-270	Processo e' uma instancia de Exfiltration Processo e' um agente de AutonomousAgent Processo Entidade Processo e' uma instancia de Fingir Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim Entidade acredita que Processo0 Processo0 e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	Processo e' uma instancia de ExperiencingALumpInTheThroat AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Throat Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	Processo e' uma instancia de ExperiencingHeatInCheeksOrChest AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Torso Objeto e' uma instancia de Face Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19942-19950	Processo e' uma instancia de EyeMotion Processo e' um agente de AutonomousAgent Objeto Objeto e' uma instancia de Eyelid Objeto e' uma &parte de AutonomousAgent Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16670-16682	Processo e' uma instancia de Matricula Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de College Processo AutonomousAgent Processo e' uma instancia de Graduacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' uma instancia de HighSchool tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17280-17288	Processo e' uma instancia de Escaping Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Confinar AutonomousAgent e' um patient de Processo tempo de existencia de Processo encontra tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	Processo e' uma instancia de Evacuation Processo tem como origem Objeto Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Transporte Processo termina em Objeto ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA ProcessoA e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2754-2766	Processo e' uma instancia de ExerciseAnOption Agreement e' um patient de Processo Agreement tem um atributo de CallOption Processo existe durante Posicao Temporal underlier Agreement and FinancialInstrument Processo Processo e' uma instancia de Comprar FinancialInstrument e' um patient de Processo Processo existe durante Posicao Temporal a medida de FinancialInstrument e' 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2768-2780	Processo e' uma instancia de ExerciseAnOption Agreement e' um patient de Processo Agreement tem um atributo de PutOption Processo existe durante Posicao Temporal underlier Agreement and FinancialInstrument Processo Processo e' uma instancia de Vender FinancialInstrument e' um patient de Processo Processo existe durante Posicao Temporal a medida de FinancialInstrument e' 100 ShareUnit(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3169-3180	Processo e' uma instancia de Folding Objeto e' um patient de Processo Processo Objeto and Objeto Processo e' uma instancia de Cobrir Processo e' um sub-processo de Processo Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' um instrumento para Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	Substancia e' uma instancia de Comida DecafAttribute e' um atributo de Substancia Substancia e' uma peca de Substancia Substancia e' uma instancia de Caffeine Processo Processo e' uma instancia de Remover Processo termina em Substancia Substancia e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	Processo e' uma instancia de FourStrokeExhaust Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Entidade Processo Processo e' uma instancia de GasMotion Entidade e' uma instancia de Exhaust Processo e' um sub-processo de Processo Processo tem como origem Buraco Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	Processo e' uma instancia de FourStrokeIntake Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto ProcessoV Processo Processo e' uma instancia de GasMotion ProcessoV e' uma instancia de FuelVapor Processo e' um sub-processo de Processo Processo termina em Buraco ProcessoV e' um patient de Processo
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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