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 10385-10391	Processo e' uma instancia de Reproducao Assexual Organismo e' o resultado de Processo Organismo e' um genitor de Organismo Organismo e' um genitor de Organismo Organismo e' igual a Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10338-10343	Processo e' uma instancia de Reproducao Processo e' um agente de Organismo Organismo e' o resultado de Processo Organismo e' um genitor de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10358-10365	Processo e' uma instancia de Reproducao Sexual Organismo e' o resultado de Processo Organismo Organismo Organismo e' a mae de Organismo Organismo e' o pai de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14275-14280	Processo e' uma instancia de Pedir Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Request
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4197-4208	Processo e' uma instancia de Spamming ProcessoPAM e' o resultado de Processo Processo e' uma instancia de Spam Entidade e' uma instancia de Humano Processo termina em Entidade Processo Processo e' uma instancia de Pedir ProcessoPAM e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	Processo e' uma instancia de Spamming ProcessoPAM e' o resultado de Processo Processo e' uma instancia de Spam Entidade e' uma instancia de Humano Processo termina em Entidade o argumento Entidade quer ProcessoPAM nao %n a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14235-14240	Processo e' uma instancia de Declarar Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Statement
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2082-2090	Entidade e' uma instancia de CounterTerrorismStrategy Processo e' uma instancia de OperationPlanning Entidade e' o resultado de Processo Entidade Entidade e' um patient de Processo Entidade e' uma instancia de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14264-14269	Processo e' uma instancia de Supposing Entidade e' o resultado de Processo Entidade e' uma instancia de Frase Entidade e' uma instancia de Supposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12758-12767	Processo e' uma instancia de Translating Expressao Linguistica e' um patient de Processo Expressao Linguistica e' o resultado de Processo Linguagem Linguagem and Entidade Expressao Linguistica representa Entidade na linguagem Linguagem Expressao Linguistica representa Entidade na linguagem Linguagem Linguagem e' igual a Linguagem
No TPTP formula. May not be expressible in strict first order.	Food.kif 3617-3632	Objeto e' uma instancia de Whiskey Intervalo Temporal e' uma instancia de Distilling Objeto e' o resultado de Intervalo Temporal Objeto e' um recurso para Intervalo TemporalR Intervalo TemporalR e' uma instancia de Beber Objeto auto-conectado Intervalo Temporal and Buraco Objeto auto-conectado e' uma instancia de Cask Buraco e' uma instancia de Buraco Buraco e' um buraco dans Objeto auto-conectado Objeto completa partialmente Objeto auto-conectado vale durante Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo TemporalR
No TPTP formula. May not be expressible in strict first order.	Media.kif 768-788	Entidade e' uma instancia de ReadOnlyMemoryDataStorage Processo e' uma instancia de Manufatura Entidade e' o resultado de Processo o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Desenvolvimento de Conteudo Entidade e' uma instancia de DeletingData tempo de existencia de Processo acontence antes de tempo de existencia de Entidade Entidade e' um patient de Entidade Entidade e' um patient de Entidade stored Entidade and Entidade vale durante imediatemente apos tempo de existencia de Entidade nao %n a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16408-16416	Organismo e' um genitor de Organismo Processo e' uma instancia de Reproducao Sexual Processo e' um agente de Organismo Organismo e' o resultado de Processo Organismo e' a mae de Organismo Organismo e' o pai de Organismo
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement a idade de Agente Cognitivo e' Numero Real2 YearDuration(s) Numero Real2 e' maior que Numero Real vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional Processo e' situado em Area Geopolitica Area Geopolitica e' uma instancia de Nacao Processo e' situado em Area Geopolitica2 Area Geopolitica2 e' uma instancia de Area Geopolitica ageOfMajorityForProcess Numero Real YearDuration(s), Area Geopolitica and Processo ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement a idade de Agente Cognitivo e' Entidade YearDuration(s) Entidade e' maior que Numero Real vale durante tempo de existencia de Processo Legal e' um atributo de Agreement
No TPTP formula. May not be expressible in strict first order.	Law.kif 515-524	partyToAgreement Agente Cognitivo and Agreement Processo e' uma instancia de Processo Intencional ContentBearingPhysical e' o resultado de Processo recordForAgreement ContentBearingPhysical and Agreement Legal e' um atributo de Agreement Sober e' um atributo de Agente Cognitivo vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20709-20715	produced Humano and Recording Processo e' uma instancia de FilmMaking Recording e' o resultado de Processo FilmProducer e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12585-12591	Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma instancia de Substancia Composta Entidade e' uma instancia de Substancia Elementar Processo e' uma instancia de Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12549-12555	Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma instancia de Substancia Elementar Entidade e' uma instancia de Substancia Composta Processo e' uma instancia de Sintese Quimica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8146-8152	Fisico e' o resultado de Processo Ponto no tempo Ponto no tempo comeca antes de o comeco de tempo de existencia de Processo Fisico nao existe %n durante Ponto no tempo

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