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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StewartstownNorthernIreland

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 geographicSubregion StewartstownNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2338-2338 StewartstownNorthernIreland e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3546-3546 StewartstownNorthernIreland se chama nome "Stewartstown"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55352-55352
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55351-55351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55350-55350


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