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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilanItaly

 Sigma KEE - MilanItaly
MilanItaly(milan italy)
more pictures...		Milan, Milano

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2059-2059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4198-4198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4193-4193
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4195-4195
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4194-4194
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4196-4196
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4199-4199
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3989-3989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4197-4197
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3234-3234 Milan italy is a geographic subregion of italy
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2058-2058 Milan italy is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3235-3235 Milan italy has name "Milan"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37517-37517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37516-37516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37515-37515


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