Original: There are at least three subcategories, philosophical languages (or ideal languages), logical languages (sometimes abbreviated as loglangs), and experimental languages.
Simplified: There are three types of Engineered language: