No TPTP formula. May not be expressible in strict first order.	Merge.kif 4854-4859	O maior divisor comum de @ROW e' igual a Numero Inteiro Entidade e' um membro de (@ROW) Entidade e' uma instancia de Numero
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16313-16321	ImmediateFamilyFn Humano e' igual a Grupo Familiar Organismo Organismo e' membro de Grupo Familiar Organismo Organismo e' um genitor de Organismo Organismo e' um genitor de Organismo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4939-4944	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Entidade e' um membro de (@ROW) Entidade e' uma instancia de Numero
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6091-6097	O conjunto minimal de caminhos que dividem Grafo em dois grafos distintos e' igual a Caminho do Grafo Inteiro positivo Caminho do Grafo Caminho do Grafo e' uma instancia de Caminho do Grafo o comprimento de Caminho do Grafo e' Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9479	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Ponto no tempo Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9417-9429	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9405-9415	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo TemporalTYPE Intervalo Temporal e' uma instancia de Intervalo Temporal Duracao Temporal a duracao de Intervalo Temporal e' Duracao Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9445-9455	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal nao termina em %n Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9457-9467	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal nao comeca em %n Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10108-10115	Objeto e' igual a a superficie do buraco Buraco Objeto e' uma parte superficial de o dono do buraco Buraco Buraco encontra Objeto Objeto engloba Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10098-10106	Objeto e' igual a a superficie do buraco Buraco Objeto engloba Objeto Objeto Objeto e' uma parte superficial de o dono do buraco Buraco Buraco encontra Objeto Objeto engloba Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4127-4132	eventLocated Processo and Objeto Processo Processo e' um sub-processo de Processo eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 509-517	exhaustiveAttribute Atributo and @ROW Entidade Entidade e' uma instancia de Atributo Entidade Entidade e' um membro de (@ROW) Entidade e' igual a Entidade
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 558-562	@ROW e' coberto por @ROW Entidade 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.	Mid-level-ontology.kif 10344-10356	heartRate Heart, Intervalo Temporal and Numero Inteiro Colecao Processo Colecao e' uma instancia de Colecao memberType Colecao and HeartBeat memberCount Colecao and Numero Inteiro Processo e' membro de Colecao Heart e' um patient de Processo tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	Dizzy e' um atributo de Entidade vale durante Posicao Temporal Entidade acredita que Posicao Temporal2 Posicao Temporal2 acontece durante Posicao Temporal Standing e' um atributo de Entidade vale durante Posicao Temporal2 Entidade Entidade e' uma instancia de Falling Entidade experimenta Entidade Posicao Temporal2 encontra tempo de existencia de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30695-30715	SafetyPosition e' um atributo de Entidade vale durante Posicao Temporal Entidade tem por fim Entidade Entidade, Entidade and Posicao Temporal2 Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Law.kif 65-78	prohibits AutonomousAgent and Entidade vale durante Intervalo Temporal Processo Entidade and Entidade Processo e' uma instancia de Declarar tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent containsFormula Processo and Entidade e' um agente de Entidade causa truth Entidade and True punishes AutonomousAgent and 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 18292-18298	Entidade e' uma instancia de Atributo Psicologico Entidade e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Organismo Living e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1972-1983	Fisico e' uma instancia de Bus Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Colecao Entidade e' uma instancia de Transporte memberCount Entidade and Entidade Entidade e' maior que 11 Entidade e' membro de Entidade Entidade e' um patient de Entidade
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