Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

s__subclass(s__School,s__EducationalOrganization)

s__instance(s__EducationalOrganization,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14899-14899 School is a subclass of educational organization
s__instance(s__PublicSchool,s__SetOrClass)

s__subclass(s__PublicSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14904-14904 Public school is a subclass of school
s__subclass(s__PrivateSchool,s__School)

s__instance(s__PrivateSchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14908-14908 Private school is a subclass of school
s__instance(s__HighSchool,s__SetOrClass)

s__subclass(s__HighSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14912-14912 High school is a subclass of school
s__subclass(s__SecondarySchool,s__School)

s__instance(s__SecondarySchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14931-14931 Secondary school is a subclass of school
s__subclass(s__VocationalSchool,s__School)

s__instance(s__VocationalSchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14950-14950 Vocational school is a subclass of school
s__subclass(s__PostSecondarySchool,s__School)

s__instance(s__PostSecondarySchool,s__SetOrClass)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 14968-14968 Post secondary school is a subclass of school
s__instance(s__ArtSchool,s__SetOrClass)

s__subclass(s__ArtSchool,s__School)

s__instance(s__School,s__SetOrClass)

Mid-level-ontology.kif 15008-15008 Art school is a subclass of school
s__subclass(s__DaySchool,s__School)

s__instance(s__School,s__SetOrClass)

s__instance(s__DaySchool,s__SetOrClass)

Mid-level-ontology.kif 15024-15024 Day school is a subclass of school


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