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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14479-14483
No TPTP formula. May not be expressible in strict first order. Languages.kif 14477-14477 The number 1 argument of sub language is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 The number 2 argument of sub language is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14475-14475 sub language is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Languages.kif 14476-14476 sub language is an instance of partial ordering relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4694-4694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4693-4693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4692-4692
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65945-65945

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14486-14486 Bokmal norwegian language is a sub-language of Norwegian language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14485-14485 Nynorsk Norwegian language is a sub-language of Norwegian language


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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