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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BadVilbelGermany

 Sigma KEE - BadVilbelGermany
BadVilbelGermany(bad vilbel germany)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1483-1483
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3409-3409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3408-3408
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3298-3298
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2582-2582 Bad vilbel germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1482-1482 Bad vilbel germany is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2583-2583 Bad vilbel germany has name "Bad Vilbel"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9534-9534
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9533-9533
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9532-9532


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