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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BerlinGermany
BerlinGermany(berlin germany)
more pictures...		Berlin, German_capital

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 717-717 Germany is a capital city of berlin germany
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 Berlin germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 716-716 Berlin germany is an instance of european city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2641-2641 Berlin germany has name "Berlin"
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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