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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TaxilaPakistan

 Sigma KEE - TaxilaPakistan
TaxilaPakistan(taxila巴基斯坦)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2363-2363
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5525-5525
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5522-5522
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5521-5521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5523-5523
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5182-5182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5524-5524
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3568-3568 Taxila巴基斯坦 是 巴基斯坦 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2362-2362 Taxila巴基斯坦 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3569-3569 Taxila巴基斯坦 的名 是 "Taxila"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57087-57087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57086-57086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57085-57085


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