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 currencyType India and IndianRupee
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 economyType India and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 275-275 economyType India and LessDevelopedCountry
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 geographicSubregion India and SouthernAsia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 575-575 India e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2564-2564 geographicSubregion AssamIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2695-2695 geographicSubregion CalcuttaIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2713-2713 geographicSubregion ChararESharifIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2734-2734 geographicSubregion CoimbatoreIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2775-2775 geographicSubregion DelhiIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2794-2794 geographicSubregion DodaIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2870-2870 geographicSubregion GhaziabadUttarPradeshIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2888-2888 geographicSubregion GujaratIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2939-2939 geographicSubregion HyderabadIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2967-2967 geographicSubregion JalahIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2970-2970 geographicSubregion JalpaiguriRailwayStationIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2972-2972 geographicSubregion JammuIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3005-3005 geographicSubregion JullundurIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3023-3023 geographicSubregion KanihamaIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3033-3033 geographicSubregion KashmirIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3164-3164 geographicSubregion MadrasIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3305-3305 geographicSubregion NewDelhiIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3369-3369 geographicSubregion PahalgamIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3490-3490 geographicSubregion SangaldanIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3538-3538 geographicSubregion SoporeIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3540-3540 geographicSubregion SrinagarIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3543-3543 geographicSubregion SriperumbudurIndia and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3597-3597 geographicSubregion ThekraguriIndia and India
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30373-30373 habitatOfOrganism Lion and India
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4164-4164 India se chama nome "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 codeMapping ISO-3166-1-alpha-2, "IN" and 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