TreeView Knowledge Base Browser - Barbados

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Barbados

Barbados(barbados)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2989-2989	Barbados dollar is a currency type of barbados
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1190-1190
No TPTP formula. May not be expressible in strict first order.	Economy.kif 624-624	Developing country is an economy type of barbados
No TPTP formula. May not be expressible in strict first order.	Economy.kif 240-240	Less developed country is an economy type of barbados
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 256-256
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 433-433	Barbados is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 434-434	Barbados is an instance of nation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4089-4089	Barbados has name "Barbados"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9876-9876
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9875-9875
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9874-9874

appearance as argument number 3

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

Media.kif 2655-2655

"BB" in ISO-3166-1-alpha-2 denotes barbados

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