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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subLanguage
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 14471-14475
(domain subLanguage 1 Language) Languages.kif 14469-14469 The number 1 argument of subLanguage is an instance of language
(domain subLanguage 2 Language) Languages.kif 14470-14470 The number 2 argument of subLanguage is an instance of language
(instance subLanguage BinaryPredicate) Languages.kif 14467-14467 subLanguage is an instance of binary predicate
(instance subLanguage PartialOrderingRelation) Languages.kif 14468-14468 subLanguage is an instance of partial ordering relation

appearance as argument number 2
-------------------------


(format ChineseLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4699-4699
(format ChineseTraditionalLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4698-4698
(format EnglishLanguage subLanguage "%1 is a sub-language of %2") domainEnglishFormat.kif 4697-4697

appearance as argument number 0
-------------------------


(subLanguage BokmalNorwegianLanguage NorwegianLanguage) Languages.kif 14478-14478 Bokmal norwegian language is a sub-language of NorwegianLanguage
(subLanguage NynorskNorwegianLanguage NorwegianLanguage) Languages.kif 14477-14477 NynorskNorwegianLanguage is a sub-language of NorwegianLanguage


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners