|
|
  JanMayenIsland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3795-3795 | dependentGeopoliticalArea JanMayenIsland and Norway |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3796-3796 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4896-4896 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5014-5014 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5015-5015 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 322-322 | geographicSubregion JanMayenIsland and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2586-2586 | geographicSubregion JanMayenIsland and SvalbardAndJanMayenIsland |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3890-3890 | JanMayenIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 312-312 | JanMayenIsland e' uma instancia de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4039-4039 | JanMayenIsland se chama nome "Jan Mayen Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31447-31447 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31446-31446 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31445-31445 |
|
|
|
