| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2613-2614 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | 子類 CrossFunctionalTeam and Organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2721-2721 | 子類 GlobalCrossFunctionalTeam and CrossFunctionalTeam |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2616-2616 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2657-2657 | 域 crossFunctionalTeamFocus, 2 and CrossFunctionalTeam |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2618-2628 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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