No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	Colecao e' uma instancia de MonoploidChromosomeSet memberType Colecao and Chromosome Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de EukaryoticCell Chromosome e' membro de Colecao Chromosome e' membro de Colecao Chromosome e' igual a Chromosome homologousChromosome Chromosome and Chromosome
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	Objeto e' uma instancia de Substancia Composta Substancia Composta e' uma sub-classe de Substancia Composta Objeto Objeto e' uma instancia de Substancia Composta Objeto e' uma &parte de Objeto molecularRatio Substancia Elementar, Numero Inteiro and Substancia Composta Colecao e' uma instancia de Grupo Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia Elementar memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10054-10077	Objeto e' uma instancia de Antidiuretic Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Intervalo Temporal e' uma instancia de Urination Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal e' uma instancia de Urination Intervalo Temporal e' igual a Intervalo Temporal Entidade e' o resultado de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal acontence antes de Movimento Movimento acontence antes de Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfVolume a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) a medida de Intervalo Temporal e' Numero Real Unidade de Medida(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 552-561	Processo e' uma instancia de DeliveryService Processo termina em Entidade deliveryRegion AutonomousAgent and Area Geografica a probabilidade de Entidade e' situado em Area Geografica sabendo que Processo e' um agente de AutonomousAgent vale e' Numero Real a probabilidade de Entidade e' situado em Area Geografica sabendo que Processo e' um agente de AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12453-12462	Processo e' uma instancia de Descolar Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' conectado com Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' conectado com Entidade vale durante o fim de tempo de existencia de Processo objectDetached Processo and Entidade objectDetached Processo and Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	Processo e' uma instancia de DefensiveInformationOperation Processo e' um agente de Agente Cognitivo enemy Agente Cognitivo and Agente Cognitivo Agente Cognitivo deseja Agente Cognitivo sabe Entidade Agente Cognitivo deseja Agente Cognitivo nao sabe %n Entidade Processo tem por fim Agente Cognitivo nao sabe %n Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 1893-1900	Election e' uma instancia de PopularElection electionWinner Election, Role Social and AutonomousAgent voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real voteFractionReceived Election, Role Social, AutonomousAgent and Numero Real AutonomousAgent e' igual a AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12569-12578	Objeto e' uma instancia de Substancia Elementar Objeto e' uma instancia de Substancia Elementar Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo Entidade e' uma instancia de Substancia Composta
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3913-3929	Entidade e' uma instancia de Electromagnet Entidade Entidade Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Electricity objectTransferred Entidade and Entidade Entidade e' o caminho ao longo do qual Entidade ocorre vale durante Entidade1 Entidade Entidade e' uma instancia de Magnetism Entidade e' um instrumento para Entidade vale durante Entidade1
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5630-5650	Grafo e' uma instancia de Grafo No' do Grafo e' uma instancia de No' do Grafo No' do Grafo e' uma instancia de No' do Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' uma &parte de Grafo No' do Grafo e' igual a No' do Grafo Arco do Grafo Caminho do Grafo Arco do Grafo liga No' do Grafo e No' do Grafo Caminho do Grafo e' um sub-grafo de Grafo Caminho do Grafo e' uma instancia de Caminho do Grafo o comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo o comeco de Caminho do Grafo e' igual a No' do Grafo o fim de Caminho do Grafo e' igual a No' do Grafo
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1935-1948	GUIElement e' uma instancia de GUIElement GUIElement e' uma instancia de GUIElement GUIElement e' uma instancia de InterfaceWindow GUIElement e' uma instancia de InterfaceWindow screenOfGUIE GUIElement and ComputerScreen screenOfGUIE GUIElement and ComputerScreen hasGUEState GUIElement and GUE_ActiveState hasGUEState GUIElement and GUE_ActiveState GUIElement e' uma &parte de GUIElement GUIElement e' uma &parte de GUIElement GUIElement e' igual a GUIElement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Foot Objeto e' uma instancia de Foot Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12681-12694	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Leg Objeto e' uma instancia de Leg Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11210	Objeto e' uma instancia de Primata Atributo e' uma instancia de Doenca ou Sindrome Atributo e' um atributo de Objeto Objeto Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Lung Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5823-5837	Objeto auto-conectado e' uma instancia de Isthmus o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado Objeto auto-conectado e' igual a Objeto auto-conectado Objeto Objeto, Objeto and Objeto Objeto e' uma instancia de Area terrestre Objeto e' uma instancia de Area terrestre Objeto auto-conectado esta' entre Objeto e Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de Area Aquatica Objeto auto-conectado encontra Objeto Objeto auto-conectado encontra Objeto
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao leaderPosition Organizacao and OrganizacaoCOMMANDER leaderPosition Organizacao and OrganizacaoCOMMANDER leaderPosition Organizacao and OrganizacaoCOMMANDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 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.	Merge.kif 17904-17914	Objeto e' uma instancia de Objeto LongAndThin e' um atributo de Objeto Objeto e' uma instancia de Objeto LongAndThin e' um atributo de Objeto Objeto e' conectado com Objeto Objeto e' igual a Objeto Numero Real relativeAngle Objeto, Objeto and Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 292-296	Objeto e' uma instancia de Continente Objeto e' igual a Antarctica Antarctica e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3232-3237	Lista e' uma instancia de Lista Lista e' igual a NullList FirstFn Lista e' igual a 1th elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16304-16323	Processo e' uma instancia de OrganizationalMerging Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' igual a Entidade Entidade Entidade e' uma parte da organizacao Entidade Entidade e' uma parte da organizacao Entidade vale durante o comeco de tempo de existencia de Processo Entidade Entidade e' uma parte da organizacao Entidade Entidade e' uma parte da organizacao Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	Catalog e' uma instancia de SetMenu offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de PreparedFood Fisico e' uma instancia de Classe Fisico e' uma instancia de Entidade Fisico e' igual a Fisico price Fisico, Medida de Divisa and AutonomousAgent price Fisico, Medida de Divisa and AutonomousAgent Medida de Divisa e' igual a Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1200-1205	Substancia e' uma instancia de Mistura Substancia e' uma peca de Substancia Substancia e' uma instancia de Mistura Substancia e' uma instancia de Substancia Pura
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