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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScotsLanguage

 Sigma KEE - ScotsLanguage
ScotsLanguage(scots language)
Lallans, Northern, Scottish_Lallans

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 7599-7622
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6844-6844
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7825-7825
No TPTP formula. May not be expressible in strict first order. Languages.kif 7598-7598 Scots language is an instance of english group language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51615-51615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51614-51614
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51613-51613


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