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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 例 北愛爾蘭 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 方位 北愛爾蘭, England and 西北
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. Geography.kif 6963-6963 方位 北愛爾蘭, Wales and 西北
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 方位 人島, 北愛爾蘭 and 東
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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