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 e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3575-3575 TeheranIran se chama nome "Teheran"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57231-57231
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57230-57230
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57229-57229


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