TreeView Knowledge Base Browser - Slovakia

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Slovakia

Slovakia(slovakia)

Slovak_Republic, Slovakia

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3457-3457	Euro dollar is a currency type of slovakia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1346-1346
No TPTP formula. May not be expressible in strict first order.	Economy.kif 595-595	Country in transition is an economy type of slovakia
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 734-734
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 287-287	Slovakia is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 288-288	Slovakia is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Government.kif 3179-3179	Slovakia is a member of european monetary union

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4024-4024	Slovakia has name "Slovakia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53422-53422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53421-53421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53420-53420

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2811-2811

"SK" in ISO-3166-1-alpha-2 denotes slovakia

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