Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalServices

Sigma KEE - EducationalServices
EducationalServices

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners