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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NetherlandsAntilles

Sigma KEE - NetherlandsAntilles
NetherlandsAntilles

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3819-3819 dependentGeopoliticalArea NetherlandsAntilles and Netherlands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3820-3820
No TPTP formula. May not be expressible in strict first order. Economy.kif 688-688 economyType NetherlandsAntilles and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 304-304 economyType NetherlandsAntilles and LessDevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 617-617
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 454-454 geographicSubregion NetherlandsAntilles and CaribbeanRegion
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3902-3902 NetherlandsAntilles e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 424-424 NetherlandsAntilles e' uma instancia de Area terrestre

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4103-4103 NetherlandsAntilles se chama nome "Netherlands Antilles"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40211-40211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40210-40210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40209-40209

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


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


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