Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Application
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MarkupLanguage ComputerLanguage) | Facebook.kif 817-817 | Markup language is a subclass of computer language |
| appearance as argument number 2 |
|
|
| (subclass HTML MarkupLanguage) | Facebook.kif 816-816 | HTML is a subclass of markup language |
| (termFormat EnglishLanguage MarkupLanguage "markup language") | domainEnglishFormat.kif 65156-65156 | HTML is a subclass of markup language |
|