No TPTP formula. May not be expressible in strict first order. |
naics.kif 7581-7581 |
JewelryStores est un sous-attribut de JewelryLuggageAndLeatherGoodsStores |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7587-7587 |
LuggageAndLeatherGoodsStores est un sous-attribut de JewelryLuggageAndLeatherGoodsStores |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31609-31609 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31608-31608 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31607-31607 |
|