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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthGeorgiaAndTheSouthSandwichIslands
SouthGeorgiaAndTheSouthSandwichIslands(south georgia and the south sandwich islands)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3840-3840 South georgia and the south sandwich islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3841-3841
No TPTP formula. May not be expressible in strict first order. pictureList.kif 748-748
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 3914-3914 South georgia and the south sandwich islands is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 493-493 South georgia and the south sandwich islands is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4136-4136 South georgia and the south sandwich islands has name "South Georgia and the South Sandwich Islands"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54273-54273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54272-54272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54271-54271

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2866-2866 "GS" in ISO-3166-1-alpha-2 denotes south georgia and the south sandwich islands


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