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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthCaucasianLanguage

 Sigma KEE - SouthCaucasianLanguage
SouthCaucasianLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13034-13036
No TPTP formula. May not be expressible in strict first order. Languages.kif 13033-13033 SouthCaucasianLanguage e' uma sub-classe de SpokenHumanLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13040-13040 GeorgianGroupLanguage e' uma sub-classe de SouthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13089-13089 SvanGroupLanguage e' uma sub-classe de SouthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 13107-13107 ZanLanguage e' uma sub-classe de SouthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54084-54084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54083-54083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54082-54082


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