|
|
  ConsumerGoodsRental
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9738-9740 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9736-9736 | ConsumerGoodsRental est un sous-attribut de RentalAndLeasingServices |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9742-9742 | ConsumerElectronicsAndAppliancesRental est un sous-attribut de ConsumerGoodsRental |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9750-9750 | FormalWearAndCostumeRental est un sous-attribut de ConsumerGoodsRental |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9763-9763 | OtherConsumerGoodsRental est un sous-attribut de ConsumerGoodsRental |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 9757-9757 | VideoTapeAndDiscRental est un sous-attribut de ConsumerGoodsRental |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16872-16872 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16871-16871 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16870-16870 |
|
|
|