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.	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.	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.	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.	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.	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.	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.	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.	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 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 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.	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 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.	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.	Merge.kif 324-330	O contra-dominio de Funcao e' uma instancia de Classe o contra-dominio de Funcao e' uma instancia de Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 339-343	Os valores retornados por Funcao sao as sub-classes de Classe Funcao(@ROW) e' igual a Classe Classe e' uma sub-classe de Classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 351-357	Os valores retornados por Funcao sao as sub-classes de Classe os valores retornados por Funcao sao as sub-classes de Classe Classe e' uma sub-classe de Classe Classe e' uma sub-classe de Classe
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.	Mid-level-ontology.kif 21035-21042	MedicalDoctor e' um atributo de Objeto Processo Processo Processo e' uma sub-classe de Processo de Diagnostico Processo e' uma sub-classe de Processo Terapeutico Objeto e' capaz de fazer Processo no role agent Objeto e' capaz de fazer Processo no role agent
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.	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.	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.	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 18895-18900	Researcher e' um atributo de Humano Campo de Estudos Campo de Estudos e' uma sub-classe de Science hasExpertise Humano and Campo de Estudos
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
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