|
|
  OtherPerformingArtsCompanies
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11307-11311 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11305-11305 | OtherPerformingArtsCompanies est un sous-attribut de PerformingArtsCompanies |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43352-43352 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43351-43351 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43350-43350 |
|
|
|