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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StewartstownNorthernIreland
StewartstownNorthernIreland(斯圖爾特斯敦北愛爾蘭)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2339-2339
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. CountriesAndRegions.kif 2338-2338 斯圖爾特斯敦北愛爾蘭 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3546-3546 "Stewartstown" and 斯圖爾特斯敦北愛爾蘭
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55350-55350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55349-55349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55348-55348


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