No TPTP formula. May not be expressible in strict first order. |
naics.kif 11603-11603 |
RVRecreationalVehicleParksAndRecreationalCamps est un sous-attribut de Accommodation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11624-11624 |
RoomingAndBoardingHouses est un sous-attribut de Accommodation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11565-11565 |
TravelerAccommodation est un sous-attribut de Accommodation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5220-5220 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5219-5219 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5218-5218 |
|