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 NorthernIreland e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6954-6954 NorthernIreland e' Northwest em relacao a England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6953-6953 NorthernIreland e' Southwest em relacao a Scotland
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 NorthernIreland e' Northwest em relacao a Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6969-6969 primaryGeopoliticalSubdivision NorthernIreland and UnitedKingdom

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2554-2554 geographicSubregion ArmaghNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2598-2598 geographicSubregion BanbridgeNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2602-2602 geographicSubregion BangorNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2636-2636 geographicSubregion BelfastNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3136-3136 geographicSubregion LondonberryNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3266-3266 geographicSubregion MurloughNorthernIreland and NorthernIreland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3348-3348 geographicSubregion OmaghNorthernIreland and NorthernIreland
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. Geography.kif 6965-6965 IsleOfMan e' East em relacao a NorthernIreland
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41105-41105
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41104-41104
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41103-41103


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