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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Liechtenstein

Sigma KEE - Liechtenstein
Liechtenstein

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1281-1281
No TPTP formula. May not be expressible in strict first order. Economy.kif 164-164 economyType Liechtenstein and DevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 559-559
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 283-283 geographicSubregion Liechtenstein and CentralEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 284-284 Liechtenstein e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4022-4022 Liechtenstein se chama nome "Liechtenstein"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34319-34319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34318-34318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34317-34317

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


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


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