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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernEurope

 Sigma KEE - SouthernEurope
SouthernEurope

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 218-218 geographicSubregion SouthernEurope and EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 159-159 geographicSubregion SouthernEurope and Europe
No TPTP formula. May not be expressible in strict first order. Geography.kif 219-219 geographicSubregion SouthernEurope and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 87-87 SouthernEurope est une instance de secteur g�ographique

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 331-331 geographicSubregion Greece and SouthernEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 333-333 geographicSubregion HolySee and SouthernEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 335-335 geographicSubregion Italy and SouthernEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 337-337 geographicSubregion Malta and SouthernEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 339-339 geographicSubregion SanMarino and SouthernEurope
No TPTP formula. May not be expressible in strict first order. Geography.kif 117-117 SouthernEurope s'appele nom "Southern Europe"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54210-54210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54209-54209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54208-54208


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