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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmericanSamoa

Sigma KEE - AmericanSamoa
AmericanSamoa(american samoa)
AS, American_Samoa, Eastern_Samoa

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3726-3726 American samoa is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3727-3727
No TPTP formula. May not be expressible in strict first order. pictureList.kif 219-219
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 659-659 American samoa is a geographic subregion of oceania
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3858-3858 American samoa is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 639-639 American samoa is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4194-4194 American samoa has name "American Samoa"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7197-7197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7196-7196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7195-7195

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2823-2823 "AS" in ISO-3166-1-alpha-2 denotes american samoa


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