From IAOA Wiki
- "Type" for the same reason that the term "set". A type in ontology modeling is a mathematical notion typically expressed at the meta-level (language). With this meaning, it should not be a term for ontological modeling.
- (different definition of "type" at the concept level. (entry specification suggested from Richard D.)
- In BFO2.0 'Type' is Synonymous with Edu:Universal (See pg. 1 [ Arp et al., 2015 ])