TreeView Knowledge Base Browser - overlapsTemporally

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2717-2719
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8230-8232
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1441-1443
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8227-8227	O argumento numero 1 de overlapsTemporally e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8228-8228	O argumento numero 2 de overlapsTemporally e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8223-8223	overlapsTemporally e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8225-8225	overlapsTemporally e' uma instancia de Relacao Reflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8226-8226	overlapsTemporally e' uma instancia de Relacao Simetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8224-8224	overlapsTemporally e' uma instancia de Relacao Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	english_format.kif 437-437
No TPTP formula. May not be expressible in strict first order.	french_format.kif 250-250
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 208-208
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2044-2044
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 256-256
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 562-562
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 246-246
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 271-271
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 274-274
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 398-398
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 432-432
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43788-43788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43787-43787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 43786-43786
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 399-399

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4958-4976	Intervalo Temporal e' uma instancia de LowTide Intervalo Temporal e' uma instancia de HighTide eventLocated Intervalo Temporal and Objeto eventLocated Intervalo Temporal and Objeto Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real Numero Real and Entidade Entidade e' uma instancia de UnitOfLength waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal waterDepth Objeto and Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	lowTide Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) highTide Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Intervalo Temporal e' uma instancia de Dia Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8234-8240	Intervalo Temporal engloba Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8290-8296	Intervalo Temporal engloba Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 968-975	yearOfFounding Organizacao and Numero Inteiro Processo Numero InteiroEAR Numero InteiroEAR engloba tempo de existencia de Processo Numero InteiroEAR e' uma instancia de o ano Numero Inteiro Processo e' uma instancia de Founding Organizacao e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	allergic Humano and Substancia SubstanciaUB e' uma instancia de Substancia SubstanciaUB encontra Humano vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de AllergicReaction Humano experimenta Entidade tempo de existencia de Entidade engloba Posicao Temporal o comeco de Posicao Temporal comeca antes de o comeco de tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real Gas e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Ferver Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	Embryonic e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Nascimento Intervalo Temporal e' igual a tempo de existencia de Processo AutonomousAgent experimenta Processo Intervalo Temporal nao engloba %n Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22348-22356	Colecao e' uma instancia de Convoy Fisico e' membro de Colecao Processo Processo e' uma instancia de Dirigir tempo de existencia de Colecao engloba tempo de existencia de Processo Fisico e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	Processo e' uma instancia de Dodging Processo e' um agente de AutonomousAgent ProcessoT e' igual a tempo de existencia de Processo Processo tem por fim Entidade ProcessoT encontra tempo de existencia de Entidade tempo de existencia de Entidade engloba ProcessoT Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10289-10297	Processo e' uma instancia de Digesting Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Ingerir Processo e' um agente de AutonomousAgent tempo de existencia de Processo engloba tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2471-2482	Intervalo Temporal e' uma instancia de Drought eventLocated Intervalo Temporal and Objeto Intervalo Temporal Objeto Intervalo Temporal e' uma instancia de Raining Objeto e' uma instancia de Regiao eventLocated Intervalo Temporal and Objeto Objeto engloba Objeto Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8242-8247	Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8298-8303	Posicao Temporal e' uma instancia de Posicao Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1464-1473	Intervalo Temporal e' uma instancia de MusclesRelaxing AutonomousAgent experimenta Intervalo Temporal Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal e' uma instancia de MusclesBecomingTense AutonomousAgent experimenta Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1450-1459	Intervalo Temporal e' uma instancia de MusclesBecomingTense AutonomousAgent experimenta Intervalo Temporal Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Intervalo Temporal e' uma instancia de MusclesRelaxing AutonomousAgent experimenta Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5779-5798	Processo e' uma instancia de RelievingPain Objeto e' um patient de Processo Fisico imediatemente antes de tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto Fisico imediatemente apos tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8249-8256	Entidade e' uma instancia de Predicado Binario Entidade e' uma instancia de Relacao Espacial Fisico e' uma instancia de Fisico Fisico e' uma instancia de Fisico Entidade Fisico and Fisico tempo de existencia de Fisico engloba tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13863-13878	Entidade e' uma instancia de Substancia Pura boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfTemperature a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real Numero Real e' menos que Numero Real Liquid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Derreter Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13880-13893	Entidade e' uma instancia de Substancia Pura meltingPoint Substancia Pura and Numero Real Unidade de Medida(s) a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' menos que Numero Real Solid e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Congelar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8269-8279	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20426-20436	Processo e' uma instancia de WorkLeave ProcessoORK e' uma instancia de Working Processo e' um agente de AutonomousAgent ProcessoORK e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano tempo de existencia de ProcessoORK nao engloba %n tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2280-2290	naturalHazardTypeInArea Area Geografica and Fisico Fisico e' uma sub-classe de Processo Fisico Fisico e' uma instancia de Fisico Fisico e' situado em Area Geografica tempo de existencia de Area Geografica engloba tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	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 21066-21080	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.	Government.kif 2558-2563	dateDissolved Fisico and Posicao Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Posicao Temporal o fim de tempo de existencia de Fisico engloba Intervalo Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7891-7891

BeforeCommonEra nao engloba %n CommonEra

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: