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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CharsaadaPakistan

 Sigma KEE - CharsaadaPakistan
CharsaadaPakistan(charsaada pakistan)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1607-1607
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2715-2715 Charsaada pakistan is a geographic subregion of pakistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1606-1606 Charsaada pakistan is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2716-2716 Charsaada pakistan has name "Charsaada"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14196-14196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14195-14195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14194-14194


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