[16:31:09] <Jarnsax>	 So... either lag, or neat. It at least 'appears' that the wiki understands that if A is instance of B, and B is a metaclass of C, that the 'derived statement' A is an instance of C is true...
[16:31:23] <Jarnsax>	 if so, very nice
[16:32:15] <Jarnsax>	 oops, nope, just lag, disappearing as instances now. I guess that could be confusing.
[18:31:43] <Jarnsax>	 https://www.wikidata.org/wiki/Q108402705 <- juy of digging set theory out of my cobwebs
[18:32:26] <Jarnsax>	 https://www.wikidata.org/wiki/Q108416180 and https://www.wikidata.org/wiki/Q108415987 also, plus the various other classes.
[18:35:39] <Jarnsax>	 one thing that bugs me is how off 'instance of' is on some of these, https://www.wikidata.org/w/index.php?title=Q29025135&diff=1493649287&oldid=1443622627 
[18:36:29] <Jarnsax>	 one reason (IMO) it's worth breaking those down (also, the variation in meaning of 'university', 'college', etc is geographic)
[18:47:10] <Jarnsax>	 Apparentlt in Canada the term 'university' is protected by law, so there aren't all the things like University of Phoenix