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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BerlinGermany

 Sigma KEE - BerlinGermany
BerlinGermany(柏林，德國)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 717-717 德國 是 柏林，德國 的 capital 城市
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 718-719
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3430-3430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3433-3433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3427-3427
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3431-3431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4547-4547
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3437-3437
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3432-3432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3428-3428
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3435-3435
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3429-3429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3307-3307
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3436-3436
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2640-2640 柏林，德國 是 德國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 716-716 例 柏林，德國 and 歐洲城市

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2641-2641 名 "Berlin" and 柏林，德國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10811-10811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10810-10810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10809-10809


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