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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeasainSpain

 Sigma KEE - BeasainSpain
BeasainSpain(beasain西班牙)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1521-1521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5106-5106
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2618-2618 Beasain西班牙 是 西班牙 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1520-1520 Beasain西班牙 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2619-2619 Beasain西班牙 的名 是 "Beasain"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10292-10292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10291-10291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10290-10290


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