TreeView Knowledge Base Browser - Birth

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Birth

Birth(Nascimento)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2904-2904
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10192-10192
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1653-1653
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5883-5883
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10190-10190	Nascimento e' uma sub-classe de Processo Organico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24008-24008	Nascimento e' uma sub-classe de Remover

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24043-24043	BiologicalConception e' relacionado internamente por SUMO a Nascimento
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1076-1076
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1363-1363
No TPTP formula. May not be expressible in strict first order.	french_format.kif 754-754
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 286-286
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 289-289
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2438-2438
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 706-706
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 291-291
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 325-325
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 775-775
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 290-290

antecedent

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.	Merge.kif 18181-18187	Larval 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 encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24019-24028	Processo e' uma instancia de Nascimento Processo tem como origem Objeto Entidade Intervalo Temporal Entidade e' uma instancia de Zygote Intervalo Temporal acontence antes de tempo de existencia de Processo Entidade e' situado em Objeto vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10197-10204	Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24010-24017	Transferencia e' uma instancia de Nascimento Objeto TransferenciaABY Female e' um atributo de Objeto Transferencia tem como origem Objeto objectTransferred Transferencia and TransferenciaABY NonFullyFormed e' um atributo de TransferenciaABY

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24270-24276	birthdate Humano and Dia Processo Processo e' uma instancia de Nascimento Humano experimenta Processo a data de Processo e' Dia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24256-24262	birthplace Animal and Objeto Processo Processo e' uma instancia de Nascimento Animal experimenta Processo eventLocated Processo and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7502-7512	Colecao e' uma instancia de Brood Intervalo Temporal AutonomousAgent AutonomousAgent e' membro de Colecao Processo Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Intervalo Temporal e' igual a tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5031-5037	Fisico e' uma instancia de Nest Fisico tem por fim Entidade Entidade e' uma instancia de Nascimento eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14361-14366	AutonomousAgent e' uma instancia de Organismo Processo Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 240-248	Fisico e' uma instancia de BirthCertificate Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Nascimento Entidade e' uma instancia de Humano Entidade experimenta Entidade Fisico define Entidade

statement

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

People.kif 456-469

Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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

Show without tree

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