businessUnit |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2759-2762 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2753-2753 | The number 1 argument of business unit is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2755-2755 | The number 2 argument of business unit is an instance of business |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2751-2751 | business unit is an instance of binary predicate |
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 2757-2757 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2785-2789 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2778-2783 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2769-2776 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2765-2767 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2994-2999 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3001-3011 |
|
![]() |
![]() |