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 and Language
(domain subLanguage 2 Language) Languages.kif 14478-14478 subLanguage, 2 and Language
(instance subLanguage BinaryPredicate) Languages.kif 14475-14475 subLanguage and BinaryPredicate
(instance subLanguage PartialOrderingRelation) Languages.kif 14476-14476 subLanguage and PartialOrderingRelation

appearance as argument number 2

(format ChineseLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4694-4694
(format ChineseTraditionalLanguage subLanguage "%1 是 %2 的 sub-language ") domainEnglishFormat.kif 4693-4693
(format EnglishLanguage subLanguage "%1 is a sub-language of %2") domainEnglishFormat.kif 4692-4692
(termFormat EnglishLanguage subLanguage "sub language") domainEnglishFormat.kif 65945-65945

Show without tree

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