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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IsleOfMan

Sigma KEE - IsleOfMan
IsleOfMan

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3793-3793 dependentGeopoliticalArea IsleOfMan and UnitedKingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3794-3794
No TPTP formula. May not be expressible in strict first order. pictureList.kif 522-522
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 358-358 geographicSubregion IsleOfMan and WesternEurope
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3889-3889 IsleOfMan est une instance de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 346-346 IsleOfMan est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order. Geography.kif 6965-6965 IsleOfMan est EastNorthernIreland

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4056-4056 IsleOfMan s'appele nom "Isle of Man"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31177-31177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31176-31176
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31175-31175

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2720-2720 codeMapping ISO-3166-1-alpha-2, "IM" and IsleOfMan


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