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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JammuIndia

 Sigma KEE - JammuIndia
JammuIndia(jammu 印度)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1831-1831
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1373-1373
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2972-2972 Jammu 印度 是 印度 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1830-1830 例 jammu 印度 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2973-2973 名 "Jammu" and jammu 印度
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31423-31423
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31422-31422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31421-31421


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