TreeView Knowledge Base Browser - JoiningAnOrganization

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

JoiningAnOrganization

Sigma KEE - JoiningAnOrganization

JoiningAnOrganization(Juntar-se a uma Organizacao)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2947-2948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10597-10598
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1702-1703
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10595-10595	Juntar-se a uma Organizacao e' uma sub-classe de Processo Organizacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 10668-10668	Deixar uma Organizacao e' disjunto de Juntar-se a uma Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7992-7992	Baptizing e' uma sub-classe de Juntar-se a uma Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10741-10741	Empregar e' uma sub-classe de Juntar-se a uma Organizacao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21938-21938	Infiltration e' uma sub-classe de Juntar-se a uma Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10730-10730	Matricula e' uma sub-classe de Juntar-se a uma Organizacao
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1405-1405
No TPTP formula. May not be expressible in strict first order.	french_format.kif 775-775
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 310-310
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2459-2459
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 727-727
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 346-346
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 796-796
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 311-311

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 2501-2508	Processo e' uma instancia de Juntar-se a uma Organizacao AutonomousAgent e' uma instancia de AutonomousAgent Processo e' um agente de AutonomousAgent Colecao e' um patient de Processo Processo e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10600-10608	Processo e' uma instancia de Juntar-se a uma Organizacao Entidade e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' membro de Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent e' membro de Entidade vale durante o fim de tempo de existencia de Processo

consequent

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

Mid-level-ontology.kif 14510-14516

Fisico e' uma instancia de Application
Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Juntar-se a uma Organizacao Entidade e' uma instancia de Doacao Unilateral

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