DrumBrake
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10729-10731 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10727-10727 | EducationalServices e' uma instancia de IndustryAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10751-10751 | BusinessSchoolsAndComputerAndManagementTraining e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10745-10745 | CollegesUniversitiesAndProfessionalSchools e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10871-10871 | EducationalSupportServices e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10733-10733 | ElementaryAndSecondarySchools e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10739-10739 | JuniorCollegeIndustry e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10814-10814 | OtherSchoolsAndInstruction e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | naics.kif 10779-10779 | TechnicalAndTradeSchools e' um sub-atributo de EducationalServices |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21282-21282 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21281-21281 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21280-21280 |