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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anguilla

Sigma KEE - Anguilla
Anguilla(anguilla)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3729-3729
No TPTP formula. May not be expressible in strict first order. pictureList.kif 224-224
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 427-427 Anguilla is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3859-3859 Anguilla is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 416-416 Anguilla is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4085-4085 Anguilla has name "Anguilla"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7530-7530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7529-7529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7528-7528

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2842-2842 "AI" in ISO-3166-1-alpha-2 denotes anguilla


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