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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subLanguage

 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 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 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