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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TolosaSpain

 Sigma KEE - TolosaSpain
TolosaSpain(托薩羅西班牙)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2392-2392
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10296-10296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12006-12006
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12007-12007
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12008-12008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12009-12009
No TPTP formula. May not be expressible in strict first order. pictureList.kif 12010-12010
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3605-3605 托薩羅西班牙 是 西班牙 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2391-2391 例 托薩羅西班牙 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3606-3606 名 "Tolosa" and 托薩羅西班牙
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58382-58382
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58381-58381
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58380-58380


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