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 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2572-2577 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2563-2570 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2559-2561 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2788-2793 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2795-2805 |
|