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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BilbaoSpain

 Sigma KEE - BilbaoSpain
BilbaoSpain(畢爾巴鄂西班牙)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1551-1551
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4093-4093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4550-4550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4095-4095
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4092-4092
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4091-4091
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4094-4094
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4089-4089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3971-3971
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2653-2653 畢爾巴鄂西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1550-1550 例 畢爾巴鄂西班牙 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2654-2654 名 "Bilbao" and 畢爾巴鄂西班牙
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10997-10997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10996-10996
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10995-10995


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