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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeorgianLanguage

 Sigma KEE - GeorgianLanguage
GeorgianLanguage
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13046-13070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11071-11071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10030-10030
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11065-11065
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11069-11069
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11067-11067
No TPTP formula. May not be expressible in strict first order. Languages.kif 13045-13045 GeorgianLanguage e' uma instancia de GeorgianGroupLanguage

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25860-25860
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25859-25859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25858-25858

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14769-14769 codeMapping ISO-639-1, "ka" and GeorgianLanguage


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