| India(india)
| | Bharat, India, Republic_of_India |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3546-3546 | Indian rupee is a currency type of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1259-1260 | Indian rupee is a currency type of india |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 659-659 | Developing country is an economy type of india |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 275-275 | Less developed country is an economy type of india |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 513-513 | Less developed country is an economy type of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 574-574 | India is a geographic subregion of southern asia |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 575-575 | India is an instance of nation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2564-2564 | Assam india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2695-2695 | Calcutta india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2713-2713 | ChararE sharif india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2734-2734 | Coimbatore india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2775-2775 | Delhi india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2794-2794 | Doda india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2870-2870 | Ghaziabad uttar pradesh india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2888-2888 | Gujarat india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2939-2939 | Hyderabad India is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2967-2967 | Jalah india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2970-2970 | Jalpaiguri railway station india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2972-2972 | Jammu india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3005-3005 | Jullundur india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3023-3023 | Kanihama india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3033-3033 | Kashmir india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3164-3164 | Madras india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3305-3305 | New delhi india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3369-3369 | Pahalgam india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3490-3490 | Sangaldan india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3538-3538 | Sopore india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3540-3540 | Srinagar india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3543-3543 | Sriperumbudur india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3597-3597 | Thekraguri india is a geographic subregion of india |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 32050-32050 | Lion inhabits india |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4164-4164 | India has name "India" |
| 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 2723-2723 | "IN" in ISO_3166_1_alpha_2 denotes india |
|
|
|