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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernSouthAmerica
SouthernSouthAmerica(southern south america)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 174-174 Southern south america is a geographic subregion of south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 250-250 Southern south america is a geographic subregion of southern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 249-249 Southern south america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 98-98 Southern south america is an instance of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 513-513 Argentina is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 515-515 Chile is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 517-517 Falkland islands is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 518-518 South georgia and the south sandwich islands is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 519-519 Uruguay is a geographic subregion of southern south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 129-129 Southern south america has name "Southern South America"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54258-54258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54257-54257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54256-54256


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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