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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoporeIndia

Sigma KEE - SoporeIndia
SoporeIndia

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


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

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3539-3539 SoporeIndia se chama nome "Sopore"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53964-53964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53963-53963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53962-53962


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