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 例 蘇格蘭 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6952-6952 空間的符合 蘇格蘭 and England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6951-6951 方位 蘇格蘭, England and 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 方位 蘇格蘭, Wales and 北
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 799-799 部分 蘇格蘭 and 英國
No TPTP formula. May not be expressible in strict first order. Geography.kif 6968-6968 英國 是 蘇格蘭 的 primary 地緣政治細分

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6953-6953 方位 北愛爾蘭, 蘇格蘭 and 西南
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