![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10086-10090 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10084-10084 | HumanResourcesAndExecutiveSearchConsultingServices est un sous-attribut de ManagementConsultingServices |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28881-28881 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28880-28880 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28879-28879 |
![]() |
![]() |