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 subLanguage 的 1 数量 是 语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 subLanguage 的 2 数量 是 语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14475-14475 subLanguage 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14476-14476 subLanguage 是 偏序关系 的 instance

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挪威语 是 NorwegianLanguage 的 sub-language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14485-14485 NynorskNorwegianLanguage 是 NorwegianLanguage 的 sub-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