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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TeheranIran

 Sigma KEE - TeheranIran
TeheranIran
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2367-2367
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1381-1381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8049-8049
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8050-8050
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8051-8051
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8052-8052
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8053-8053
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8054-8054
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8055-8055
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8070-8070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8056-8056
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6916-6916
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8060-8060
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8062-8062
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8063-8063
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3574-3574 geographicSubregion TeheranIran and Iran
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2366-2366 TeheranIran est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3575-3575 TeheranIran s'appele nom "Teheran"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57229-57229
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57228-57228
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57227-57227


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