TreeView Knowledge Base Browser - BarMitzvah

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BarMitzvah

BarMitzvah

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Biography.kif 67-67
No TPTP formula. May not be expressible in strict first order.	Biography.kif 65-65	BarMitzvah e' uma sub-classe de Ceremony
No TPTP formula. May not be expressible in strict first order.	Biography.kif 66-66	BarMitzvah e' uma sub-classe de Processo Religioso

antecedent

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 87-92	Processo e' uma instancia de BarMitzvah Processo Processo e' uma instancia de ReligiousService Processo e' um sub-processo de Processo

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