student
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7787-7789 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7785-7785 | OfficeSuppliesStationeryAndGiftStores e' um sub-atributo de MiscellaneousStoreRetailers |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7798-7798 | GiftNoveltyAndSouvenirStores e' um sub-atributo de OfficeSuppliesStationeryAndGiftStores |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7791-7791 | OfficeSuppliesAndStationeryStores e' um sub-atributo de OfficeSuppliesStationeryAndGiftStores |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41858-41858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41857-41857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41856-41856 |