TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24263-24264
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24266-24266	O argumento numero 1 de birthdate e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24267-24267	O argumento numero 2 de birthdate e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24265-24265	birthdate e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 308-308
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 307-307
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 306-306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11169-11169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11168-11168
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11167-11167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11170-11170

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Dia Numero Inteiro birthday Humano and Dia Dia e' uma sub-classe de Dia Numero Inteiro e' uma instancia de Numero Inteiro Dia e' igual a o dia Inteiro positivo Numero Inteiro e' maior que Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Media.kif 1936-1941	birthdate JesusOfNazareth and Dia Intervalo Temporal e' uma instancia de o ano -6 Intervalo Temporal e' uma instancia de o ano 4 Dia e' uma &parte de o intervalo entre o comeco de Intervalo Temporal e o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	Menopausal e' um atributo de Humano vale durante Intervalo Temporal birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Real e' igual a (49 + Numero Inteiro) Numero Real e' igual a (52 + Numero Inteiro) Ponto no tempo e' igual a o comeco de Intervalo Temporal o argumento Ponto no tempo e' maior que Numero Real Numero Real e' maior que Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	Processo e' uma instancia de BarMitzvah Humano e' um patient de Processo Humano e' uma instancia de Boy Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	Processo e' uma instancia de BatMitzvah Humano e' um patient de Processo Humano e' uma instancia de Girl Humano e' membro de Colecao Colecao e' uma instancia de Judaism birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Inteiro Posicao Temporal Numero Inteiro e' uma instancia de Numero Inteiro Numero Inteiro e' igual a ( Numero Inteiro + 13) Posicao Temporal e' uma instancia de o dia Inteiro positivo tempo de existencia de Processo e' igual a imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24269-24275	birthdate Humano and Dia Processo Processo e' uma instancia de Nascimento Humano experimenta Processo a data de Processo e' Dia

consequent

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

Biography.kif 250-264

ContentBearingPhysical e' uma instancia de BirthCertificate Processo e' uma instancia de Nascimento AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo
containsFormula ContentBearingPhysical and Entidade Entidade and Entidade birthdate AutonomousAgent and Entidade Entidade e' uma instancia de Dia birthplace AutonomousAgent and Entidade Entidade e' uma instancia de Area Geografica Entidade define AutonomousAgent Entidade e' uma instancia de Name

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

KB Term:			Term intersection

English Word: