TreeView Knowledge Base Browser - GlobalCrossFunctionalTeam

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

GlobalCrossFunctionalTeam

Sigma KEE - GlobalCrossFunctionalTeam

GlobalCrossFunctionalTeam

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2725-2726
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2721-2721	GlobalCrossFunctionalTeam e' uma sub-classe de CrossFunctionalTeam

appearance as argument number 2

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

UXExperimentalTerms.kif 2723-2723

antecedent

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

UXExperimentalTerms.kif 2728-2741

Colecao e' uma instancia de GlobalCrossFunctionalTeam
Fisico Fisico_LOC, Fisico and Fisico_LOC Fisico e' uma instancia de Humano Fisico e' uma instancia de Humano Fisico_LOC e' uma instancia de Area Geopolitica Fisico_LOC e' uma instancia de Area Geopolitica Fisico e' membro de Colecao Fisico e' membro de Colecao Fisico e' situado em Fisico_LOC Fisico e' situado em Fisico_LOC Fisico_LOC e' igual a Fisico_LOC

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