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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ireland

 Sigma KEE - Ireland
Ireland

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3225-3225 currencyType Ireland and EuroDollar
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1264-1264
No TPTP formula. May not be expressible in strict first order. Economy.kif 546-546 economyType Ireland and AdvancedEconomy
No TPTP formula. May not be expressible in strict first order. Economy.kif 160-160 economyType Ireland and DevelopedCountry
No TPTP formula. May not be expressible in strict first order. pictureList.kif 520-520
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 353-353 geographicSubregion Ireland and WesternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 354-354 Ireland e' uma instancia de EuropeanNation
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 Ireland e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Geography.kif 6966-6966 Ireland e' West em relacao a Wales

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2798-2798 geographicSubregion DublinIreland and Ireland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3397-3397 geographicSubregion PortadownIreland and Ireland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4053-4053 Ireland se chama nome "Ireland"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30991-30991
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30990-30990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30989-30989

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


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


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