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


KB Term:  Term intersection
English Word: 

  Notifying

 Sigma KEE - subLanguage
subLanguage

appearance as argument number 1
-------------------------


(instance subLanguage BinaryPredicate) Languages.kif 14505-14505 sub language is an instance of binary predicate
(instance subLanguage PartialOrderingRelation) Languages.kif 14506-14506 sub language is an instance of partial ordering relation
(domain subLanguage 1 Language) Languages.kif 14507-14507 The number 1 argument of sub language is an instance of language
(domain subLanguage 2 Language) Languages.kif 14508-14508 The number 2 argument of sub language is an instance of language
(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 14509-14513 The number 2 argument of sub language is an instance of language

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


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners