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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernIreland

 Sigma KEE - NorthernIreland
NorthernIreland(北爱尔兰)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1312-1312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3578-3578
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3361-3361
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3577-3577
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1313-1313 北爱尔兰 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 北爱尔兰 在 England 的 西北
No TPTP formula. May not be expressible in strict first order. Geography.kif 6953-6953 北爱尔兰 在 苏格兰 的 西南
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 北爱尔兰 在 Wales 的 西北
No TPTP formula. May not be expressible in strict first order. Geography.kif 6969-6969 英国 是 北爱尔兰 的 primary 地缘政治细分

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2554-2554 阿尔马北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2598-2598 班布里奇北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2602-2602 班戈北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2636-2636 贝尔法斯特北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3136-3136 伦敦德里北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3266-3266 Murlough北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3348-3348 奥马尔北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3545-3545 斯图尔特斯敦北爱尔兰 是 北爱尔兰 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 人岛 在 北爱尔兰 的 东
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41103-41103
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41102-41102
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41101-41101


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