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

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 e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6952-6952	Scotland encontra England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6951-6951	Scotland e' North em relacao a England
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6964-6964	Scotland e' North em relacao a Wales
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 799-799	Scotland e' uma &parte de UnitedKingdom
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6968-6968	primaryGeopoliticalSubdivision Scotland and UnitedKingdom

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6953-6953	NorthernIreland e' Southwest em relacao a Scotland
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51605-51605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51604-51604
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51603-51603

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