![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11380-11383 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1904-1904 | MuseumsHistoricalSitesAndSimilarInstitutions e' relacionado internamente por SUMO a TourismIndustry |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11378-11378 | MuseumsHistoricalSitesAndSimilarInstitutions e' um sub-atributo de ArtsEntertainmentAndRecreation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11391-11391 | HistoricalSites e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11385-11385 | Museums e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11405-11405 | NatureParksAndOtherSimilarInstitutions e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11398-11398 | ZoosAndBotanicalGardens e' um sub-atributo de MuseumsHistoricalSitesAndSimilarInstitutions |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39357-39357 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39356-39356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39355-39355 |
![]() |
![]() |