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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Scotland

 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 est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Geography.kif 6952-6952 Scotland rencontre England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 Scotland est North � England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland est North � Wales
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 799-799 Scotland est une partie 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 est Southwest � 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