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 O argumento numero 1 de subLanguage e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 O argumento numero 2 de subLanguage e' uma instancia de Linguagem
No TPTP formula. May not be expressible in strict first order. Languages.kif 14475-14475 subLanguage e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Languages.kif 14476-14476 subLanguage e' uma instancia de Relacao parcialmente Ordenada

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 subLanguage BokmalNorwegianLanguage and NorwegianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14485-14485 subLanguage NynorskNorwegianLanguage and NorwegianLanguage


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