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

Formal Language: 



KB Term:  Term intersection
English Word: 

  India

Sigma KEE - India
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 3209-3209 Indian rupee is a currency type of india
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 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
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 30373-30373 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 2721-2721 "IN" in ISO-3166-1-alpha-2 denotes india


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