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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DuesseldorfGermany

Sigma KEE - DuesseldorfGermany
DuesseldorfGermany(duesseldorf germany)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1683-1683
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3474-3474
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3470-3470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3316-3316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3475-3475
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3472-3472
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3473-3473
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2800-2800 Duesseldorf germany is a geographic subregion of germany
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1682-1682 Duesseldorf germany is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2801-2801 Duesseldorf germany has name "Duesseldorf"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20664-20664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20663-20663
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20662-20662


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