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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AntwerpBelgium

 Sigma KEE - AntwerpBelgium
AntwerpBelgium(安特卫普比利时)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1441-1441
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4073-4073
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4070-4070
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4074-4074
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4506-4506
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4071-4071
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3969-3969
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4072-4072
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2542-2542 安特卫普比利时 是 比利时 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1440-1440 安特卫普比利时 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2543-2543 安特卫普比利时 的名 是 "Antwerp"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7926-7926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7925-7925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7924-7924


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