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)

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 是 德國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1482-1482 例 德國 bad vilbel and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2583-2583 名 "Bad Vilbel" and 德國 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