TreeView Knowledge Base Browser - businessUnit

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - businessUnit

businessUnit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2553-2556
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2547-2547	O argumento numero 1 de businessUnit e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2549-2549	O argumento numero 2 de businessUnit e' uma instancia de Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2545-2545	businessUnit e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2942-2942
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2941-2941
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2940-2940
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2551-2551

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2579-2583	businessUnit Organizacao and Business Fisico e' membro de Organizacao Fisico e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2572-2577	businessUnit Organizacao and Business Entidade Entidade e' uma instancia de Entidade Organizacao esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2563-2570	businessUnit Organizacao and Business Organizacao tem por fim Entidade Entidade e' uma instancia de Processo Entidade e' um agente de Organizacao benefits Entidade and Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	businessUnit Organizacao and Business Organizacao e' uma parte da organizacao Business

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2788-2793	Organizacao e' uma instancia de CustomerSupport Business Business e' uma instancia de Organizacao businessUnit Organizacao and Business
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2795-2805	Fisico e' uma instancia de CustomerSupport Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Organizacao businessUnit Fisico and Entidade Entidade e' membro de Fisico customerRepresentative Entidade, Entidade and Entidade

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