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 では %n
(domain subLanguage 2 Language) Languages.kif 14478-14478 subLanguage の数値 2 引数は 言語instance では %n
(instance subLanguage BinaryPredicate) Languages.kif 14475-14475 subLanguage2進述語instance では %n
(instance subLanguage PartialOrderingRelation) Languages.kif 14476-14476 subLanguage半順序関係instance では %n

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