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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ManchesterUnitedKingdom

Sigma KEE - ManchesterUnitedKingdom
ManchesterUnitedKingdom(manchester united kingdom)
more pictures...
Manchester

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2011-2011
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4174-4174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4171-4171
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3988-3988
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4173-4173
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4175-4175
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3183-3183 Manchester united kingdom is a geographic subregion of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2010-2010 Manchester united kingdom is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3184-3184 Manchester united kingdom has name "Manchester"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35934-35934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35933-35933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35932-35932


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