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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PamplonaSpain

 Sigma KEE - PamplonaSpain
PamplonaSpain(潘普洛納西班牙)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2182-2182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5412-5412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5411-5411
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5154-5154
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3373-3373 潘普洛納西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2181-2181 例 潘普洛納西班牙 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3374-3374 名 "Pamplona" and 潘普洛納西班牙
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44196-44196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44195-44195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44194-44194


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