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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrivateSchool
PrivateSchool(private school)private_school

appearance as argument number 1
-------------------------


s__disjoint(s__PrivateSchool,s__GovernmentOrganization)

Mid-level-ontology.kif 14909-14909 Private school is disjoint from government organization
s__documentation(s__PrivateSchool,s__EnglishLanguage,'"A School which is not publicly owned."')

Mid-level-ontology.kif 14910-14910
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

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__PrivateSchool,'"私立学校"')

domainEnglishFormat.kif 47456-47456
s__termFormat(s__ChineseTraditionalLanguage,s__PrivateSchool,'"私立學校"')

domainEnglishFormat.kif 47455-47455
s__termFormat(s__EnglishLanguage,s__PrivateSchool,'"private school"')

domainEnglishFormat.kif 47454-47454


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



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