No TPTP formula. May not be expressible in strict first order.	Merge.kif 2940-2948	Classe e' coberto por @ROW Entidade Entidade e' uma instancia de Classe Classe Classe e' um membro de (@ROW) Entidade e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7939-7949	Processo ocorre todos os Duracao Temporal Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal Posicao Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Entidade Entidade e' uma instancia de Processo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6157-6163	graphMeasure Grafo and Unidade de Medida Elemento do Grafo Elemento do Grafo e' uma &parte de Grafo Fisico abstractCounterpart Elemento do Grafo and Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4319-4332	hindersSubclass Processo and Processo Entidade Entidade Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Entidade diminui a probabilidade de Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Entidade vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16968-16973	As entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade as entidades no processo Entidade se movem Entidade vale durante Posicao Temporal Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16984-16989	Entidade na frente de Entidade vale durante Posicao Temporal Entidade Entidade na frente de Entidade vale durante Posicao Temporal Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1122-1131	Objeto e' uma instancia de Atomo Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Nucleo Atomico Objeto e' uma instancia de Nucleo Atomico Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14481-14492	Objeto Corpuscular e' uma instancia de Bacteria Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Celula Objeto Corpuscular Objeto Corpuscular e' um componente de Objeto Corpuscular Objeto Corpuscular e' uma instancia de Celula Objeto Corpuscular e' igual a Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7501-7511	Colecao e' uma instancia de Brood Intervalo Temporal AutonomousAgent AutonomousAgent e' membro de Colecao Processo Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Intervalo Temporal e' igual a tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7492-7499	Colecao e' uma instancia de Brood Organismo Organismo Organismo e' membro de Colecao Organismo e' membro de Colecao Organismo e' um irmao ou uma irma de Organismo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15966-15980	Colecao e' uma instancia de DramaticCast ContentBearingPhysical Proposicao and Processo ContentBearingPhysical e' uma instancia de FictionalText ContentBearingPhysical contem informacao Proposicao Processo exprime o conteudo de Proposicao AutonomousAgent AutonomousAgent e' membro de Colecao Processo Processo e' uma instancia de DramaticActing Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14802-14815	Objeto e' uma instancia de WaterCloud Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Agua Objeto Numero Real, Numero Real and Unidade de Medida Objeto e' uma instancia de Agua Objeto e' uma &parte de Objeto a medida de Objeto e' Numero Real Unidade de Medida(s) a medida de 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.	Music.kif 1007-1020	Contest e' uma instancia de MusicContest Processo Processo e' uma instancia de Judging AutonomousAgent contestParticipant Contest and AutonomousAgent Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Contest Processo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1027-1040	Contest e' uma instancia de SingingContest Processo Processo e' uma instancia de Judging AutonomousAgent contestParticipant Contest and AutonomousAgent Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de Singing Processo e' um sub-processo de Contest Processo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13290-13296	Processo e' uma instancia de Cooperacao Formula AutonomousAgent Processo e' um agente de AutonomousAgent Processo tem finalidade Formula para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	Colecao e' uma instancia de Discography Humano Atributo Humano e' uma instancia de Agente Cognitivo Atributo e' um atributo de Humano Atributo e' uma instancia de Musician Album Album e' membro de Colecao MakingMusic Ponto no tempo, Area Geografica and ColecaoS musician Album, Humano and MakingMusic releaseForSale AlbumCopiesFn Album and ColecaoS, Area Geografica and Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5803-5812	Atributo e' uma instancia de NonspecificDisease Fisico Fisico e' uma instancia de Microorganismo Objeto Atributo e' um atributo de Objeto Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	Experimenting e' uma instancia de Experimenting Entidade_EVENTS Entidade_EVENTS e' uma instancia de Colecao Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo e' membro de Entidade_EVENTS QualifyingEventsFn Experimenting e' igual a Entidade_EVENTS
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4281-4293	Experimenting e' uma instancia de Experimenting Entidade_USERS Entidade_USERS e' uma instancia de Colecao Humano Humano e' uma instancia de Humano treatedUser Humano and Experimenting Humano e' membro de Entidade_USERS TreatedUsersFn Experimenting e' igual a Entidade_USERS
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3375-3385	Funcao e' uma instancia de Funcao Injetiva Entidade Entidade Classe o argumento numero 1 de Funcao e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' igual a Entidade Funcao( Entidade) e' igual a Funcao( Entidade)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3418-3428	Funcao e' uma instancia de Funcao Associativa Entidade Entidade, Entidade and Classe o argumento numero 1 de Funcao e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe Funcao( Entidade + Funcao( Entidade + Entidade)) e' igual a Funcao( Funcao( Entidade + Entidade) + Entidade)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3438-3448	Funcao e' uma instancia de Funcao Commutativa Entidade Entidade and Classe o argumento numero 1 de Funcao e' uma instancia de Classe Entidade e' uma instancia de Classe Entidade e' uma instancia de Classe Funcao( Entidade + Entidade) e' igual a Funcao( Entidade + Entidade)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4612	Fisico e' uma instancia de FourWheelDriveVehicle Fisico tem por fim Entidade Entidade e' uma &parte de Fisico Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Engine Entidade e' uma &parte de Fisico Entidade e' uma instancia de Crankshaft Entidade e' uma &parte de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade causa Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16270-16279	Colecao e' uma instancia de Grupo Etario Fisico Fisico, Duracao Temporal and Duracao Temporal Fisico e' membro de Colecao Fisico e' membro de Colecao a idade de Fisico e' Duracao Temporal a idade de Fisico e' Duracao Temporal Duracao Temporal e' igual a Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16618-16624	Colecao e' uma instancia de BeliefGroup Formula Agente Cognitivo Agente Cognitivo e' membro de Colecao Agente Cognitivo acredita que Formula
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