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.	emotion.kif 1983-1991	Processo e' uma instancia de HappyVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Happiness AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12335-12343	Processo e' uma instancia de Matar AutonomousAgent e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	Fisico e' uma instancia de KnockLight Fisico e' situado em Objeto Objeto e' uma instancia de Comodo Objeto e' uma instancia de Door Objeto e' uma &parte de Objeto Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Impactar Objeto e' um patient de Entidade Entidade causa Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade e' uma instancia de RadiatingVisibleLight Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2735-2747	Processo e' uma instancia de CeliacDisease AutonomousAgent experimenta Processo Objeto e' uma instancia de SmallIntestine Objeto e' uma &parte de AutonomousAgent o argumento Entidade Entidade e' uma instancia de Diarrhoea AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8599-8609	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento Processo Processo e' uma instancia de Causar Dano AutonomousAgent experimenta Processo Movimento causa Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1582-1604	Processo e' uma instancia de OperationPlanning Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de CombatantCommander Processo AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgent ChairmanJCS e' um atributo de AutonomousAgent Processo causa Processo AutonomousAgent e' uma instancia de SubunifiedCommander Processo AutonomousAgentSUPER and Organizacao Processo e' uma instancia de Pedir Processo e' um agente de AutonomousAgentSUPER MilitaryCommander e' um atributo de AutonomousAgentSUPER subordinatePosition Organizacao, AutonomousAgent and AutonomousAgentSUPER Organizacao e' uma instancia de MilitaryForce Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12980-12985	Processo e' uma instancia de Processo de Diagnostico Processo e' um agente de AutonomousAgent Entidade Processo tem finalidade AutonomousAgent sabe Entidade causa Processo para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16249-16258	Processo e' uma instancia de Sentencing Entidade e' um patient de Processo Processo Processo causa Processo Processo e' uma instancia de LegalConviction Entidade e' um patient de Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5527-5535	Processo e' uma instancia de Sepsis AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Infecting AutonomousAgent experimenta Processo Processo causa Processo
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.	emotion.kif 1523-1533	Processo e' uma instancia de StayingStill AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Translocation Processo causa Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1967-1975	Processo e' uma instancia de SadVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Sadness AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1928-1936	Processo e' uma instancia de SurprisedVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Surprise AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 280-296	ContentBearingPhysical e' uma instancia de DeathCertificate Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo containsFormula ContentBearingPhysical and ProcessoAY Entidade, Entidade and EntidadeROC deathdate AutonomousAgent and ProcessoAY ProcessoAY e' uma instancia de Dia deathplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name EntidadeROC causa Processo EntidadeROC e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3718-3759	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 949-964	Processo e' uma instancia de DutyTax Processo inclui uma referencia a Entidade Entidade e' um patient de Processo Processo Objeto and Entidade Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de Nacao Entidade e' uma instancia de Nacao Objeto e' igual a Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Processo Processo causa Processo
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.	FinancialOntology.kif 3312-3321	taxDeferredIncome Humano, Medida de Divisa and Processo Organizacional Processo Organizacional existe durante Posicao Temporal Processo Processo e' uma instancia de Tax Processo Organizacional causa Processo Processo existe durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 403-410	InjuryCausedFn Processo e' um atributo de Objeto Processo Processo Processo e' uma instancia de Ferir Objeto e' um patient de Processo Processo e' uma instancia de Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 425-432	Bruise e' um atributo de Objeto Processo Processo Processo e' uma instancia de Ferir Objeto e' um patient de Processo Processo e' uma instancia de Bleeding Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29462-29473	CoinOperated e' um atributo de Objeto Objeto tem por fim Entidade Entidade, Entidade and EntidadeCT Entidade e' uma instancia de CurrencyCoin Entidade e' uma instancia de Transacao Financeira Entidade termina em Objeto Entidade e' um patient de Entidade Entidade tem como origem Entidade Entidade causa EntidadeCT Entidade quer EntidadeCT
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18794-18801	Comedian e' um atributo de AutonomousAgent AutonomousAgentERF Processo AutonomousAgentERF e' uma instancia de Performance AutonomousAgentERF e' um agente de AutonomousAgent Processo e' uma instancia de Laughing AutonomousAgentERF causa Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 736-748	browserID Identifier, WebBrowser and WebSite Sequencia Simbolica Processo, AutonomousAgent and ComputerProcess Sequencia Simbolica e' uma instancia de WebPage subString Sequencia Simbolica and WebSite Processo e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent programRunning ComputerProcess and WebBrowser ComputerProcess causa Processo Processo termina em Sequencia Simbolica Identifier define AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3810-3818	causesSubclass Processo and Processo Processo Processo e' uma instancia de Processo Processo Processo e' uma instancia de Processo Processo causa 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