|
|
   VocalCords
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6882-6884 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6880-6880 | FarmProductRawMaterialWholesalers est un sous-attribut de WholesaleTradeNondurableGoods |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6886-6886 | GrainAndFieldBeanWholesalers est un sous-attribut de FarmProductRawMaterialWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6893-6893 | LivestockWholesalers est un sous-attribut de FarmProductRawMaterialWholesalers |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6899-6899 | OtherFarmProductRawMaterialWholesalers est un sous-attribut de FarmProductRawMaterialWholesalers |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23326-23326 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23325-23325 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23324-23324 |
|
|
|