appearance as argument number 2

(subclass ComputerLanguage ArtificialLanguage)	Merge.kif 1523-1523	Computer language is a subclass of artificial language
(subclass ConstructedLanguage ArtificialLanguage)	Merge.kif 1550-1550	Constructed language is a subclass of artificial language
(instance EsperantoLanguage ArtificialLanguage)	Languages.kif 1371-1371	Esperanto language is an instance of artificial language
(instance EuropantoLanguage ArtificialLanguage)	Languages.kif 1387-1387	Europanto language is an instance of artificial language
(instance InterlinguaLanguage ArtificialLanguage)	Languages.kif 1394-1394	Interlingua language is an instance of artificial language
(instance IdoLanguage ArtificialLanguage)	Languages.kif 14654-14654	Ido language is an instance of artificial language
(instance InterlingueLanguage ArtificialLanguage)	Languages.kif 14657-14657	Interlingue language is an instance of artificial language
(instance VolapukLanguage ArtificialLanguage)	Languages.kif 14723-14723	Volapuk language is an instance of artificial language
(termFormat EnglishLanguage ArtificialLanguage "artificial language")	english_format.kif 888-888	Volapuk language is an instance of artificial language

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

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners