![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10308-10310 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10306-10306 | AdministrativeAndSupportServices e' um sub-atributo de AdministrativeAndSupportAndWasteManagementAndRemediationServices |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10351-10351 | BusinessSupportServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10324-10324 | EmploymentServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10318-10318 | FacilitiesSupportServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10498-10498 | InvestigationAndSecurityServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10312-10312 | OfficeAdministrativeServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10590-10590 | OtherSupportServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10550-10550 | ServicesToBuildingsAndDwellings e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10445-10445 | TravelArrangementAndReservationServices e' um sub-atributo de AdministrativeAndSupportServices |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5544-5544 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5543-5543 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5542-5542 |
![]() |
![]() |