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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaintLucia

Sigma KEE - SaintLucia
SaintLucia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1335-1335
No TPTP formula. May not be expressible in strict first order. Economy.kif 702-702 economyType SaintLucia and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 318-318 economyType SaintLucia and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 707-707
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 458-458 geographicSubregion SaintLucia and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 459-459 SaintLucia e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4106-4106 SaintLucia se chama nome "Saint Lucia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50853-50853
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50852-50852
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50851-50851

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2800-2800 codeMapping ISO-3166-1-alpha-2, "LC" and SaintLucia


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