TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2704-2706
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8094-8096
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1427-1429
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8091-8091	O argumento numero 1 de finishes e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8092-8092	O argumento numero 2 de finishes e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8089-8089	finishes e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8087-8087	finishes e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8090-8090	finishes e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8088-8088	finishes e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8086-8086	finishes 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 421-421
No TPTP formula. May not be expressible in strict first order.	english_format.kif 427-427
No TPTP formula. May not be expressible in strict first order.	french_format.kif 245-245
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 111-111
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2039-2039
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 197-197
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 250-250
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 547-547
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 151-151
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 266-266
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 266-266
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 232-232
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 422-422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23876-23876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23875-23875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23874-23874
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 233-233

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 642-646	agreementPeriod FinancialAccount and Intervalo Temporal Dia termina em Intervalo Temporal maturityDate FinancialAccount and Dia
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 1270-1284	Intervalo Temporal Intervalo Temporal dependencyDelay Programa de Computador and Duracao Temporal dependencyType Programa de Computador and ShutdownBlock 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 termina em Intervalo Temporal tempo de existencia de ComputerProcess e' igual a Intervalo Temporal o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8098-8106	Intervalo Temporal termina em Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal

consequent

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.	Merge.kif 8108-8116	O comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	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 21473-21488	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.	Hotel.kif 2196-2203	Processo e' uma instancia de CheckInService Processo causa Processo Fisico e' uma instancia de CheckOutService tempo de existencia de Fisico termina em tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16379-16388	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 16330-16335	Intervalo Temporal e' uma instancia de CeasingOperations AutonomousAgent e' uma instancia de Organizacao Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal termina em tempo de existencia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	Fisico e' uma instancia de OrganismRemains Entidade e' uma &parte de Fisico vale durante tempo de existencia de Fisico Fisico Fisico e' uma instancia de Organismo tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico tempo de existencia de Fisico termina em tempo de existencia de Fisico Entidade e' uma &parte de Fisico vale durante tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	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 16394-16403	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.	Cars.kif 3718-3759	Objeto e' uma instancia de CarAlarm Objeto e' uma instancia de SelfPoweredRoadVehicle Objeto e' uma &parte de Objeto Entidade Entidade, Entidade and Entidade Objeto tem por fim Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Humano Entidade e' um agente de Entidade Objeto e' um patient de Entidade tempo de existencia de Entidade e' igual a Entidade eventPartlyLocated Entidade and Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Objeto Entidade causa Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Humano Entidade e' Near em relacao a Entidade vale durante Entidade aumenta a probabilidade de Entidade sabe Entidade Entidade e' uma instancia de Stealing Entidade e' uma instancia de Causar Dano eventPartlyLocated Entidade and Entidade Objeto e' um patient de Entidade vale durante Entidade tempo de existencia de Entidade termina em tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20355-20364	meatOfAnimal Carne and Animal Entidade e' uma instancia de Carne Intervalo Temporal Fisico Fisico e' uma instancia de Animal Intervalo Temporal termina em tempo de existencia de Fisico Entidade e' uma &parte de Fisico vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4070-4074	statementPeriod BankStatement and Intervalo Temporal dateOfStatement BankStatement and Dia Dia termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9438-9443	Decomposicao de Intervalo Temporal em Intervalo TemporalTYPEs e' igual a Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em Intervalo 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.	Mid-level-ontology.kif 20567-20577	Entidade e' uma instancia de IntensiveCareUnit stays Entidade and Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de Morte tempo de existencia de Entidade termina em Posicao Temporal tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19094-19101	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 17310-17316	Processo e' uma instancia de Arriving Processo Processo e' uma instancia de Translocation Processo e' um sub-processo 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 1025-1034	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 8901-8908	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 8478-8485	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 8526-8528	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente antes de Posicao Temporal termina em antes de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8829-8835	Intervalo Temporal e' uma instancia de Morning Intervalo Temporal Dia 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.	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

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: