TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2701-2703
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8078
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1424-1426
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8073-8073	O argumento numero 1 de starts e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8074-8074	O argumento numero 2 de starts e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8071-8071	starts e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8069-8069	starts e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8072-8072	starts e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8070-8070	starts e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8068-8068	starts e' uma sub-relacao de temporalPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 419-419
No TPTP formula. May not be expressible in strict first order.	english_format.kif 425-425
No TPTP formula. May not be expressible in strict first order.	french_format.kif 244-244
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 269-269
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2038-2038
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 196-196
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 249-249
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 544-544
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 306-306
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 265-265
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 265-265
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 461-461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55076-55076
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 420-420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55075-55075
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55074-55074

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de AscensionThursday Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 40 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de PalmSunday Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 8 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de Pentecost Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 50 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	Intervalo Temporal Intervalo Temporal dependencyDelay Programa de Computador and Duracao Temporal dependencyType Programa de Computador and StartupBlock hasDependency Programa de Computador and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal tempo de existencia de ComputerProcess e' igual a Intervalo Temporal o fim de Intervalo Temporal e' igual a o comeco de Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8080-8088	Intervalo Temporal comeca em Intervalo Temporal o comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	FOKOrder 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 comeca em 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 comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder 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 comeca em 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 comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8090-8098	O comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	Intervalo Temporal e' igual a FiscalYearStartingFn AutonomousAgent and Ano fiscalYearPeriod AutonomousAgent and Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Posicao Temporal Intervalo Temporal e' uma instancia de Dia Intervalo Temporal comeca em Intervalo Temporal Posicao Temporal e' uma instancia de Ano Intervalo Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 480-492	Processo e' uma instancia de Ambulating Intervalo Temporal e' igual a tempo de existencia de Processo Processo Processo Processo e' uma instancia de Stepping Processo e' uma instancia de Stepping Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo tempo de existencia de Processo comeca em Intervalo Temporal tempo de existencia de Processo termina em Intervalo Temporal Processo e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21501-21516	Processo e' uma instancia de Blushing AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal, Entidade and Entidade Entidade e' uma instancia de Estado Emocional Entidade e' uma instancia de Estado Emocional Entidade e' igual a Entidade Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal tempo de existencia de Processo comeca em Intervalo Temporal tempo de existencia de Processo termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16407-16416	Processo e' uma instancia de FallingAsleep AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal Intervalo Temporal comeca em tempo de existencia de Processo Intervalo Temporal termina em tempo de existencia de Processo Acordado e' um atributo de AutonomousAgent vale durante Intervalo Temporal Dormindo e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16321-16326	Intervalo Temporal e' uma instancia de BeginningOperations AutonomousAgent e' uma instancia de Organizacao Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal comeca em tempo de existencia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11351-11374	Processo e' uma instancia de Translocation Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo tem como origem Objeto Processo termina em Objeto Processo termina em Entidade AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo tempo de existencia de Processo comeca em tempo de existencia de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16422-16431	Processo e' uma instancia de WakingUp AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal Intervalo Temporal comeca em tempo de existencia de Processo Intervalo Temporal termina em tempo de existencia de Processo Dormindo e' um atributo de AutonomousAgent vale durante Intervalo Temporal Acordado e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9445-9450	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9471-9481	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 8831-8837	Intervalo Temporal e' uma instancia de Afternoon Intervalo Temporal Dia Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19122-19129	Intervalo Temporal e' uma instancia de AnteMeridiem Dia Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 24 Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1018-1027	Intervalo Temporal e' uma instancia de Divorcing Entidade Entidade, Intervalo Temporal and Intervalo Temporal spouse Entidade and Entidade vale durante Intervalo Temporal spouse Entidade and Entidade vale durante Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8915-8922	Intervalo Temporal e' uma instancia de DayTime Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal e' uma instancia de Sunset Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8492-8499	Intervalo Temporal e' uma instancia de o periodo recorrente de Intervalo Temporal 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 comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8571-8573	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente apos Posicao Temporal comeca em apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17327-17333	Processo e' uma instancia de Leaving Processo Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo tempo de existencia de Processo comeca em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 285-299	Intervalo Temporal e' uma instancia de MuakharSadaq AutonomousAgent Entidade, Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal tem como origem AutonomousAgent Intervalo Temporal termina em Entidade wife Entidade and AutonomousAgent vale durante Intervalo Temporal wife Entidade and AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal Intervalo Temporal comeca antes de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 305-319	Intervalo Temporal e' uma instancia de MuqaddamSadaq AutonomousAgent Entidade, Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal tem como origem AutonomousAgent Intervalo Temporal termina em Entidade wife Entidade and AutonomousAgent vale durante Intervalo Temporal wife Entidade and AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal Intervalo Temporal comeca antes de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8937-8944	Intervalo Temporal e' uma instancia de NightTime Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal e' uma instancia de Sunset Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19136-19143	Intervalo Temporal e' uma instancia de PostMeridiem Dia Intervalo Temporal and Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 12 Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal e' uma instancia de a hora 24 Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 417-422	Fisico e' uma instancia de StartFn Processo Fisico Fisico e' uma instancia de Processo tempo de existencia de Fisico comeca em tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17097-17103	Processo e' uma instancia de SportServe Processo Processo e' uma instancia de Esporte Processo e' um sub-processo de Processo tempo de existencia de Processo comeca em tempo de existencia de Processo

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.

Media.kif 1970-1978

Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade

Entidade e' membro de TwelveApostles vale durante Intervalo Temporal
friend Entidade and JesusOfNazareth vale durante Intervalo Temporal

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

KB Term:			Term intersection

English Word: