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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TaxilaPakistan

 Sigma KEE - TaxilaPakistan
TaxilaPakistan
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 geographicSubregion TaxilaPakistan and Pakistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2362-2362 TaxilaPakistan est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3569-3569 TaxilaPakistan s'appele nom "Taxila"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57085-57085
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57084-57084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57083-57083


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