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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ThekraguriIndia

Sigma KEE - ThekraguriIndia
ThekraguriIndia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2383-2383
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. CountriesAndRegions.kif 2382-2382 ThekraguriIndia e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3598-3598 ThekraguriIndia se chama nome "Thekraguri"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57830-57830
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57829-57829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57828-57828


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