Sigma KB Term Intersection

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.	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 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 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.	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.	Media.kif 1906-1910	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Periodico PeriodicalPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 1888-1892	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de MusicalComposition MusicPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura meltingPoint Substancia Pura and Numero Real KelvinDegree(s) barometricPressure Objeto and Numero Real InchMercury(s) Numero Real e' maior que 29.92 a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' menos que Numero Real Solid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Media.kif 1900-1904	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Livro BookPublishers e' um atributo de Entidade vale durante Posicao Temporal
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.	Media.kif 1912-1916	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Newspaper NewspaperPublishers e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1780-1788	Objeto e' igual a AttrFn Objeto and Atributo Objeto e' uma instancia de Objeto Objeto e' uma instancia de Objeto Objeto e' uma sub-classe de Objeto Atributo e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized e' um atributo de Objeto Objeto e' uma instancia imediata de Classe Classe e' uma sub-classe de HotelUnit Fisico Numero Real, Numero Real and Unidade de Medida Fisico e' uma instancia imediata de Classe Unidade de Medida e' uma instancia de UnitOfArea a medida de Fisico e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' uma instancia de Medida de Area Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
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.	Media.kif 1894-1898	Entidade publica Classe vale durante Posicao Temporal Classe e' uma sub-classe de Texto InformationIndustries e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13820-13829	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura barometricPressure Objeto and Numero Real InchMercury(s) 29.92 e' maior que Numero Real boilingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Gas e' um atributo de Objeto
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.	Merge.kif 13831-13840	Objeto e' uma instancia de Substancia Pura Substancia Pura e' uma sub-classe de Substancia Pura boilingPoint Substancia Pura and Numero Real KelvinDegree(s) meltingPoint Substancia Pura and Numero Real KelvinDegree(s) a medida de Objeto e' Numero Real KelvinDegree(s) Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Military.kif 895-906	FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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