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

Formal Language: 



KB Term:  Term intersection
English Word: 

  India

Sigma KEE - India
India(印度)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3209-3209 印度盧比印度currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1259-1260
No TPTP formula. May not be expressible in strict first order. Economy.kif 659-659 發展中國家印度economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 275-275 較未發達國家印度economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 513-513
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 574-574 印度南亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 575-575 印度 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2564-2564 阿薩姆邦印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2695-2695 加爾各答印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2713-2713 ChararE sharif 印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2734-2734 哥印拜陀印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2775-2775 德里印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2794-2794 多達印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2870-2870 加濟阿巴德 北方邦 印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2888-2888 古吉拉特邦印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2939-2939 HyderabadIndia印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2967-2967 賈拉印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2970-2970 Jalpaiguri火車站印度印度geographic 次要地區
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 3005-3005 Jullundur印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3023-3023 Kanihama印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3033-3033 克什米爾印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3164-3164 馬德拉斯印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3305-3305 新德里印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3369-3369 帕哈甘印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3490-3490 桑加丹印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3538-3538 Sopore 印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3540-3540 斯利那加印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3543-3543 Sriperumbudur印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3597-3597 Thekraguri印度印度geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30373-30373 Lion inhabits 印度
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4164-4164 "India" and 印度

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2721-2721 "IN" 在 ISO-3166-1-alpha-2 denotes 印度


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