TreeView Knowledge Base Browser - Scotland

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Scotland

Scotland(scotland)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 800-800
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4816-4816
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 798-798	Scotland is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6952-6952	Scotland meets England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6951-6951	Scotland is north to England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6964-6964	Scotland is north to Wales
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 799-799	Scotland is a part of united kingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6968-6968	United kingdom is a primary geopolitical subdivision of scotland

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6953-6953	Northern ireland is southwest to scotland
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51603-51603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51602-51602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51601-51601

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