Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - subLanguage

appearance as argument number 1

(documentation subLanguage EnglishLanguage "(subLanguage ?Language-1 ?Language-2) means that ?Language-1 is included in, or subsumed by, ?Language-2. Since subLanguage is a ReflexiveRelation, every Language is a subLanguage of itself.") Languages.kif 14479-14483
(domain subLanguage 1 Language) Languages.kif 14477-14477 subLanguage 的 1 数量 是 语言instance
(domain subLanguage 2 Language) Languages.kif 14478-14478 subLanguage 的 2 数量 是 语言instance
(instance subLanguage BinaryPredicate) Languages.kif 14475-14475 subLanguage二元谓语instance
(instance subLanguage PartialOrderingRelation) Languages.kif 14476-14476 subLanguage偏序关系instance

appearance as argument number 2

(format ChineseLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4703-4703
(format ChineseTraditionalLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4702-4702
(format EnglishLanguage subLanguage "%1 is a sub-language of %2") domainEnglishFormat.kif 4701-4701

appearance as argument number 0

(subLanguage BokmalNorwegianLanguage NorwegianLanguage) Languages.kif 14486-14486 Bokmal挪威语NorwegianLanguagesub-language
(subLanguage NynorskNorwegianLanguage NorwegianLanguage) Languages.kif 14485-14485 NynorskNorwegianLanguageNorwegianLanguagesub-language

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