| appearance as argument number 1 |
|
| (documentation WrittenHumanLanguage EnglishLanguage "The form of a HumanLanguage used in Writing. Not all HumanLanguages have a written form. There may be forms of a language in written form that are radically different for the same spoken form, i.e. Pinyin and written Chinese.") | Merge.kif 1508-1511 | |
| (subclass WrittenHumanLanguage HumanLanguage) | Merge.kif 1507-1507 |
| appearance as argument number 2 |
|
|
| (instance ChinesePinyinWriting WrittenHumanLanguage) | Merge.kif 1531-1531 | |
| (instance ChineseSimplifiedWriting WrittenHumanLanguage) | Merge.kif 1526-1526 | |
| (instance ChineseTraditionalLanguage WrittenHumanLanguage) | Merge.kif 1521-1521 | |
| (subclass ChineseLanguage WrittenHumanLanguage) | Languages.kif 14593-14593 | |
| (termFormat EnglishLanguage WrittenHumanLanguage "written human language") | domainEnglishFormat.kif 65775-65775 |
| consequent |
|
|
| (=> (instance ?W Writing) (exists (?S ?L) (and (instance ?S Text) (instance ?L WrittenHumanLanguage) (language ?S ?L)))) |
Merge.kif 1513-1519 |
|
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