![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6739-6741 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6737-6737 | WholesaleTradeNondurableGoods e' um sub-atributo de WholesaleTrade |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6777-6777 | ApparelPieceGoodsAndNotionsWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6948-6948 | BeerWineAndDistilledAlcoholicBeverageWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6906-6906 | ChemicalAndAlliedProductsWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6771-6771 | DrugsAndDruggistsSundriesWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6880-6880 | FarmProductRawMaterialWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6812-6812 | GroceryAndRelatedProductWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6968-6968 | MiscellaneousNondurableGoodsWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6743-6743 | PaperAndPaperProductWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | naics.kif 6926-6926 | PetroleumAndPetroleumProductsWholesalers e' um sub-atributo de WholesaleTradeNondurableGoods |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63045-63045 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63044-63044 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63043-63043 |
![]() |
![]() |