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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GranadaSpain

 Sigma KEE - GranadaSpain
GranadaSpain(格拉納達西班牙)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1753-1753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4141-4141
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4705-4705
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4136-4136
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4139-4139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4137-4137
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4140-4140
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3980-3980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4138-4138
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2880-2880 格拉納達西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1752-1752 例 格拉納達西班牙 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2881-2881 名 "Granada" and 格拉納達西班牙
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26388-26388
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26387-26387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26386-26386


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